*** empty log message ***

diff --git a/THANKS b/THANKS
index 842d67b33fd60a8b0059b69e3a02eb7999007bea..4651386a05fce6041039e0ec66df72dd18153f6b 100644 (file)
--- 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