1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index 5a226bd87..f8245d65a 100644
--- 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