Merge pull request #9441 from annando/fatal
authorPhilipp <admin+Github@philipp.info>
Tue, 20 Oct 2020 17:33:39 +0000 (19:33 +0200)
committerGitHub <noreply@github.com>
Tue, 20 Oct 2020 17:33:39 +0000 (19:33 +0200)
Fix Fatal error


Trivial merge