*** empty log message ***

diff --git a/THANKS b/THANKS
index 3b48734e3198176c5d494b7867c017f972bca25d..bceed44aedd36aeac1171e8439e6a6ab1c877893 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -254,6 +254,7 @@ Michael Stutz                       stutz@dsl.org
 Michael Veksler                     mveksler@techunix.technion.ac.il
 Michel Robitaille                   robitail@IRO.UMontreal.CA
 Michiel Bacchiani                   bacchian@raven.bu.edu
+Mike                                mkc@mathdogs.com.
 Mike Castle                         dalgoda@ix.netcom.com
 Miles Bader                         miles@gnu.ai.mit.edu
 Minh Tran-Le                        tranle@intellicorp.com