*** empty log message ***

diff --git a/THANKS b/THANKS
index 9ea81030e36a75a404bd5868937253242fc21b14..d82b85b9b67ea5eb919ad8a63c8e926be3e46334 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -297,6 +297,7 @@ Raul Miller                         moth@magenta.com
 Richard Braakman                    dark@xs4all.nl
 Richard Dawe                        richdawe@bigfoot.com
 Richard J. Rauenzahn                rrauenza@hairball.cup.hp.com
+Richard Neill                       rn214@hermes.cam.ac.uk
 Richard Sharman                     rsharman@magmacom.com
 Rick Sladkey                        jrs@world.std.com
 Rik Faith                           faith@cs.unc.edu