Merge pull request #5745 from WoltLab/remove-text-formatting
authorOlaf Braun <olaf_schmitz_1@t-online.de>
Mon, 8 Jan 2024 12:22:22 +0000 (13:22 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Jan 2024 12:22:22 +0000 (13:22 +0100)
Remove unused userOption `editorPastePreserveFormatting`


Trivial merge