From: Thomas Glanzmann Date: Wed, 9 Feb 2022 07:19:37 +0000 (+0100) Subject: get rid of old pmdi X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/1cee07b4944a3bc814d6bfaa464bc7857b39969e?hp=1cee07b4944a3bc814d6bfaa464bc7857b39969e get rid of old pmdi ---