Skip to content

Copy options to prevent options modifications after initialization#9

Merged
asimmon merged 1 commit intomainfrom feature/copy-optionsOct 8, 2022