Merge remote-tracking branch 'origin/github/pr/142'
authorMichael Prokop <mika@grml.org>
Fri, 22 Dec 2023 15:53:13 +0000 (16:53 +0100)
committerMichael Prokop <mika@grml.org>
Fri, 22 Dec 2023 15:53:13 +0000 (16:53 +0100)

Trivial merge