Write --help output to *stdout* not *errout*#4483
Merged
fingolfin merged 1 commit intogap-system:masterfrom ThomasBreuer:TB_write_help_to_stdoutMay 11, 2021
+16-16
--help output to *stdout* not *errout*#4483