Merge pull request #5551 from WoltLab/suppress-text-formatting
authorAlexander Ebert <ebert@woltlab.com>
Sun, 25 Jun 2023 14:33:12 +0000 (16:33 +0200)
committerGitHub <noreply@github.com>
Sun, 25 Jun 2023 14:33:12 +0000 (16:33 +0200)
Add options to suppress text formatting


Trivial merge