Merge pull request #8812 from tobiasd/2020.06-credits
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 12 Jul 2020 08:31:56 +0000 (10:31 +0200)
committerGitHub <noreply@github.com>
Sun, 12 Jul 2020 08:31:56 +0000 (10:31 +0200)
credits for the 2020.06 release


Trivial merge