Merge pull request #72 from WoltLab/cleanup
authorTim Düsterhus <duesterhus@woltlab.com>
Tue, 4 Oct 2022 11:54:11 +0000 (13:54 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Oct 2022 11:54:11 +0000 (13:54 +0200)
Clean up


Trivial merge