Commit 0d40c05e authored by François Grisez's avatar François Grisez

Several fixes around ConfigManager

* Remove a debug message that was printed in the standard output,
  and then could corrupt the generated configuration.
* Add missing '[module::<module_name>]' line while generating
  the configuration for one module with '--dump-default' option.
* Fix --rewrite-config
parent 773346fc
Pipeline #6245 failed with stages
in 21 minutes and 27 seconds