Merge pull request #7683 from tobiasd/20190930-CHANGELOG
authorPhilipp <admin+Github@philipp.info>
Mon, 30 Sep 2019 19:36:46 +0000 (21:36 +0200)
committerGitHub <noreply@github.com>
Mon, 30 Sep 2019 19:36:46 +0000 (21:36 +0200)
CHANGELOG 1st steps of 2019.12


Trivial merge