merge
authorBernhard Tittelbach <bernhard@tittelbach.org>
Fri, 17 Oct 2025 15:55:01 +0000 (17:55 +0200)
committerBernhard Tittelbach <bernhard@tittelbach.org>
Fri, 17 Oct 2025 15:55:01 +0000 (17:55 +0200)

Trivial merge