]> git.zerfleddert.de Git - m1-debian/commitdiff
Merge branch 'master' of 88.198.237.222:/git/m1-debian
authorThomas Glanzmann <thomas@glanzmann.de>
Tue, 10 Oct 2023 18:39:27 +0000 (20:39 +0200)
committerThomas Glanzmann <thomas@glanzmann.de>
Tue, 10 Oct 2023 18:39:27 +0000 (20:39 +0200)

Trivial merge
Impressum, Datenschutz