From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Sat, 28 May 2022 09:48:02 +0000 (+0200)
Subject: add notes from mps irc log
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/38fde6be7ea657f7afa7f95cca4d773943b81e75?hp=38fde6be7ea657f7afa7f95cca4d773943b81e75

add notes from mps irc log
---