Merge pull request #9106 from annando/notice
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 31 Aug 2020 17:09:14 +0000 (19:09 +0200)
committerGitHub <noreply@github.com>
Mon, 31 Aug 2020 17:09:14 +0000 (19:09 +0200)
Avoid a notice - restructured validation check


Trivial merge