*** empty log message ***

diff --git a/THANKS b/THANKS
index 30e8faa523788da83fcfaa3fa294a14bcd260568..c370c7436fd210c9d5603f9d53dff872539eb0ed 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -253,6 +253,7 @@ Michael Veksler                     mveksler@techunix.technion.ac.il
 Michel Robitaille                   robitail@IRO.UMontreal.CA
 Michiel Bacchiani                   bacchian@raven.bu.edu
 Miles Bader                         miles@gnu.ai.mit.edu
+Mike Castle                         dalgoda@ix.netcom.com
 Minh Tran-Le                        tranle@intellicorp.com
 Morten Welinder                     terra@diku.dk
 Neal H Walfield                     neal@cs.uml.edu