Merge pull request #5509 from WoltLab/edit-history-format-html
authorTim Düsterhus <duesterhus@woltlab.com>
Tue, 16 May 2023 12:27:16 +0000 (14:27 +0200)
committerGitHub <noreply@github.com>
Tue, 16 May 2023 12:27:16 +0000 (14:27 +0200)
Perform preprocessing on the message contents before diffing in EditHistory


Trivial merge