Merge pull request #6595 from annando/notice
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Wed, 6 Feb 2019 08:02:49 +0000 (09:02 +0100)
committerGitHub <noreply@github.com>
Wed, 6 Feb 2019 08:02:49 +0000 (09:02 +0100)
Some small notice prevented


Trivial merge