*** empty log message ***

diff --git a/THANKS b/THANKS
index 72b4b3b04e1559400bddc672f70fb495f2bd8003..6e98486e2335c437af769c7a90e4f7f213496ac8 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -244,6 +244,7 @@ Michael Gaughen                     mgaughen@polyserve.com
 Michael Hasselberg                  mikelh@zonta.ping.de
 Michael Hohn                        hohn@math.utah.edu
 Michael J. Croghan                  mcroghan@usatoday.com
+Michael Piefel                      piefel@informatik.hu-berlin.de
 Michael Steffens                    michael.steffens@s.netic.de
 Michael Stone                       mstone@debian.org
 Michael Stutz                       stutz@dsl.org