*** empty log message ***

diff --git a/THANKS b/THANKS
index 6e0a01cb61749317883b319c140a4188628916ef..d47a2b9f03d725c3c5ef3b13669f589f33154abb 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -56,6 +56,7 @@ Per Kristian Hove: perhov@math.ntnu.no
 Peter Eriksson: peter@ifm.liu.se
 Paul Eggert: eggert@twinsun.com
 Philippe De Muyter: phdm@macqel.be
+Rainer Orth: ro@TechFak.Uni-Bielefeld.DE
 Ross Ridge: rridge@calum.csclub.uwaterloo.ca
 Santiago Vila Doncel: sanvila@unex.es
 Stuart Kemp: skemp@peter.bmc.com