*** empty log message ***

diff --git a/THANKS b/THANKS
index ace1ce212b96ae84a555d2c78a785f0f6255a4ab..0a7b742fd7422e6b409482e44ff9b2b09abce35e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -404,6 +404,7 @@ Piotr Kwapulinski                   kwap@univ.gda.pl
 Prashant TR                         tr@eth.net
 Rainer Orth                         ro@TechFak.Uni-Bielefeld.DE
 Ralf W. Stephan                     stephan@tmt.de
+Ralf Wildenhues                     Ralf.Wildenhues@gmx.de
 Ralph Loader                        loader@maths.ox.ac.uk
 Raul Miller                         moth@magenta.com
 Raúl Núñez de Arenas Coronado       raul@pleyades.net