*** empty log message ***

diff --git a/THANKS b/THANKS
index df2ba7362929d48fb231e151c7bb21906bb221a0..dbe1b23ac09e257a9d0e4be96859bb578f469f2e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -234,6 +234,7 @@ Matthias Urlichs                    smurf@noris.de
 Meelis Roos                         mroos@tartu.cyber.ee
 Michael ???                         michael@roka.net
 Michael Deutschmann                 michael@talamasca.ocis.net
+Michael Gaughen                     mgaughen@polyserve.com
 Michael Hasselberg                  mikelh@zonta.ping.de
 Michael Hohn                        hohn@math.utah.edu
 Michael J. Croghan                  mcroghan@usatoday.com