*** empty log message ***

diff --git a/THANKS b/THANKS
index 3b8602b..69a624f 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -214,6 +214,7 @@ Michael Deutschmann                 michael@talamasca.ocis.net
 Michael Hasselberg                  mikelh@zonta.ping.de
 Michael Hohn                        hohn@math.utah.edu
 Michael J. Croghan                  mcroghan@usatoday.com
+Michael Steffens                    michael.steffens@s.netic.de
 Michael Stone                       mstone@debian.org
 Michael Stutz                       stutz@dsl.org
 Michael Veksler                     mveksler@techunix.technion.ac.il