Skip to content

fix batch generation logfile name to be compatible with Windows OS#3018

Merged
lstein merged 4 commits intov2.3from bugfix/batch-logfile-formatMar 24, 2023

Commits