*** empty log message ***

diff --git a/THANKS b/THANKS
index 2c1011a3c37b9333e46cce16364eb38a98d58ead..6a7e2ca912455d8aae6b293be3588018c514177d 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -51,6 +51,7 @@ Ben Elliston                        bje@air.net.au
 Ben Harris                          bjh21@netbsd.org
 Bengt Martensson                    bengt@mathematik.uni-Bremen.de
 Bernd Leibing                       bernd.leibing@rz.uni-ulm.de
+Bernd Melchers                      melchers@cis.fu-berlin.de
 Bernhard Baehr                      bernhard.baehr@gmx.de
 Bernhard Gabler                     bernhard@uni-koblenz.de
 Bernhard Rosenkraenzer              bero@redhat.de