]> git.zerfleddert.de Git - m1-debian/commitdiff
Merge branch 'master' of agrajag.zerfleddert.de:/git/m1-debian
authorThomas Glanzmann <thomas@glanzmann.de>
Mon, 24 Jul 2023 12:21:15 +0000 (14:21 +0200)
committerThomas Glanzmann <thomas@glanzmann.de>
Mon, 24 Jul 2023 12:21:15 +0000 (14:21 +0200)

Trivial merge
Impressum, Datenschutz