Fix filename sanitization with command line option#669

Merged

mvandervoord merged 1 commit intoThrowTheSwitch:masterfrom

jonhenneberg:master

Apr 17, 2023

Commits on Apr 17, 2023

Fix filename sanitization with command line option
JonHHenneberg
committed