*** empty log message ***

diff --git a/THANKS b/THANKS
index bceed44aedd36aeac1171e8439e6a6ab1c877893..5ca9234bf3c3ee27346d45ffb1b7073a8447b326 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                                mkc@mathdogs.com
 Mike Castle                         dalgoda@ix.netcom.com
 Miles Bader                         miles@gnu.ai.mit.edu
 Minh Tran-Le                        tranle@intellicorp.com