Merge branch 'hotfix/5.41.2' 5.41.2
authorroot <root@edit-integration.bgbm.fu-berlin.de>
Thu, 9 Nov 2023 16:19:04 +0000 (17:19 +0100)
committerroot <root@edit-integration.bgbm.fu-berlin.de>
Thu, 9 Nov 2023 16:19:04 +0000 (17:19 +0100)

Trivial merge