0969d688e3
Make sure that users' changes to the config files are preserved. Fixes #4440.
91 B
91 B