Merge pull request #5481 from WoltLab/tagged-page
authorMarcel Werk <burntime@woltlab.com>
Mon, 8 May 2023 10:54:08 +0000 (12:54 +0200)
committerGitHub <noreply@github.com>
Mon, 8 May 2023 10:54:08 +0000 (12:54 +0200)
Improve usability of the `TaggedPage`


Trivial merge