*** empty log message ***

1 files changed, 1 insertions, 0 deletions

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