*** empty log message ***

diff --git a/THANKS b/THANKS
index 5ca9234bf3c3ee27346d45ffb1b7073a8447b326..803792aeca9acdd2a5b270e4c14018e838df37b7 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -254,7 +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 Coleman                        mkc@mathdogs.com
 Mike Castle                         dalgoda@ix.netcom.com
 Miles Bader                         miles@gnu.ai.mit.edu
 Minh Tran-Le                        tranle@intellicorp.com