diff --git a/THANKS b/THANKS index 842d67b33..4651386a0 100644 --- a/THANKS +++ b/THANKS @@ -222,6 +222,7 @@ Markus Demleitner msdemlei@auriga.ari.uni-heidelberg.de Martin martin@dresden.nacamar.de Martin Gallant martyg@goodbit.net Martin Hippe martin.hippe@schlund.de +Martin Michlmayr tbm@cyrius.com Martin Mitchell martin@debian.org Martin P.J. Zinser zinser@decus.de Marty Leisner leisner@sdsp.mc.xerox.com