Merge pull request #12966 from MrPetovan/bug/fatal-errors
authorPhilipp <admin+Github@philipp.info>
Sat, 1 Apr 2023 14:34:57 +0000 (16:34 +0200)
committerGitHub <noreply@github.com>
Sat, 1 Apr 2023 14:34:57 +0000 (16:34 +0200)
Fix a couple of namespace issues


Trivial merge