Merge pull request #9228 from annando/warning-fatal
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Fri, 18 Sep 2020 14:01:50 +0000 (16:01 +0200)
committerGitHub <noreply@github.com>
Fri, 18 Sep 2020 14:01:50 +0000 (16:01 +0200)
Fix fatal errors, warnings and notices


Trivial merge