Rust scheduler: Set up logging according to CLI options#342

Merged

jherbel merged 1 commit intomasterfrom dev/joerg/rust

Sep 19, 2023

+374-3

Commits on Sep 19, 2023

Rust scheduler: Set up logging according to CLI options
jherbel
committed