From: Thomas Glanzmann Date: Sun, 11 Dec 2022 10:47:36 +0000 (+0100) Subject: drop the small font X-Git-Url: http://cvs.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/fcb5111f9d975a3c801e0803ec98ffe4ef3c3852?hp=fcb5111f9d975a3c801e0803ec98ffe4ef3c3852 drop the small font ---