*** empty log message ***

diff --git a/THANKS b/THANKS
index 5a226bd876328fdc8f5e2872795e856603e82711..f8245d65a135610f40419d82e1bee8042f5dd87f 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -188,6 +188,7 @@ Meelis Roos                         mroos@tartu.cyber.ee
 Michael ???                         michael@roka.net
 Michael Deutschmann                 michael@talamasca.ocis.net
 Michael Hasselberg                  mikelh@zonta.ping.de
+Michael Hohn                        hohn@math.utah.edu
 Michael Stone                       mstone@debian.org
 Michael Stutz                       stutz@dsl.org
 Michael Veksler                     mveksler@techunix.technion.ac.il