Merge pull request #5562 from WoltLab/mail-placeholders
authorMarcel Werk <burntime@woltlab.com>
Fri, 30 Jun 2023 12:54:01 +0000 (14:54 +0200)
committerGitHub <noreply@github.com>
Fri, 30 Jun 2023 12:54:01 +0000 (14:54 +0200)
Move replacement of placerholders in mail texts into `UserMailBox`


Trivial merge