Merge pull request #8057 from annando/notice-error
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 5 Jan 2020 06:40:31 +0000 (07:40 +0100)
committerGitHub <noreply@github.com>
Sun, 5 Jan 2020 06:40:31 +0000 (07:40 +0100)
Fix an error and a notice


Trivial merge