*** empty log message ***

diff --git a/THANKS b/THANKS
index 385c4e6d50d76ffd9a0ea31ac85c00c866b389df..a3ca01450054748a63f23edf2bc74fa1489e1126 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -294,7 +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
+Raúl Núñez de Arenas Coronado       raul@pleyades.net
 Richard Braakman                    dark@xs4all.nl
 Richard Dawe                        richdawe@bigfoot.com
 Richard J. Rauenzahn                rrauenza@hairball.cup.hp.com