Merge pull request #7985 from tobiasd/20191221-credots
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 23 Dec 2019 18:50:40 +0000 (19:50 +0100)
committerGitHub <noreply@github.com>
Mon, 23 Dec 2019 18:50:40 +0000 (19:50 +0100)
updated the credits for 2019.12


Trivial merge