Merge branch 'close-config-file-after-writing' into 'master'
Warning
Martin Bauer
created pipeline for commit
d2757579
, finished
For master
6 minutes 11 seconds, queued for 20 seconds