Merge pull request #679 from annando/develop
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Wed, 1 Aug 2018 05:24:11 +0000 (07:24 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Aug 2018 05:24:11 +0000 (07:24 +0200)
And some more notices ...


Trivial merge