diff --git a/THANKS b/THANKS index 3b8602b40..69a624f59 100644 --- 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