*** empty log message ***

diff --git a/THANKS b/THANKS
index d82b85b9b67ea5eb919ad8a63c8e926be3e46334..385c4e6d50d76ffd9a0ea31ac85c00c866b389df 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -294,6 +294,7 @@ Rainer Orth                         ro@TechFak.Uni-Bielefeld.DE
 Ralf W. Stephan                     stephan@tmt.de
 Ralph Loader                        loader@maths.ox.ac.uk
 Raul Miller                         moth@magenta.com
+DervishD                            raul@pleyades.net
 Richard Braakman                    dark@xs4all.nl
 Richard Dawe                        richdawe@bigfoot.com
 Richard J. Rauenzahn                rrauenza@hairball.cup.hp.com