Merge pull request #4204 from WoltLab/code_cleanup
authorMatthias Schmidt <gravatronics@live.com>
Mon, 10 May 2021 14:34:46 +0000 (16:34 +0200)
committerGitHub <noreply@github.com>
Mon, 10 May 2021 14:34:46 +0000 (16:34 +0200)
Code cleanup


Trivial merge