Merge pull request #4918 from WoltLab/diff
authorTim Düsterhus <duesterhus@woltlab.com>
Thu, 4 Aug 2022 10:47:05 +0000 (12:47 +0200)
committerGitHub <noreply@github.com>
Thu, 4 Aug 2022 10:47:05 +0000 (12:47 +0200)
Use sebastian/diff for diff generation


Trivial merge