summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS2
1 files changed, 1 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index c370c7436..842d67b33 100644
--- a/THANKS
+++ b/THANKS
@@ -252,8 +252,8 @@ Michael Stutz stutz@dsl.org
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
+Miles Bader miles@gnu.ai.mit.edu
Minh Tran-Le tranle@intellicorp.com
Morten Welinder terra@diku.dk
Neal H Walfield neal@cs.uml.edu