]> git.zerfleddert.de Git - m1-debian/commitdiff
add notes from mps irc log
authorThomas Glanzmann <thomas@glanzmann.de>
Sat, 28 May 2022 09:48:02 +0000 (11:48 +0200)
committerThomas Glanzmann <thomas@glanzmann.de>
Sat, 28 May 2022 09:48:02 +0000 (11:48 +0200)

No differences found
Impressum, Datenschutz