* THANKS: Update, now that I have a name for jemm4jemm.

diff --git a/THANKS b/THANKS
index bff091755cc3528a67577c2fa860e1ceb4d2295f..5f3c5bd7200f48dc6c20a1ce962e646ea0990060 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -449,6 +449,7 @@ Piergiorgio Sartor                  sartor@sony.de
 Pieter Bowman                       bowman@math.utah.edu
 Piotr Kwapulinski                   kwap@univ.gda.pl
 Prashant TR                         tr@eth.net
+Priit Jõerüüt                       jemm4jemm@yahoo.com
 Rainer Orth                         ro@TechFak.Uni-Bielefeld.DE
 Ralf W. Stephan                     stephan@tmt.de
 Ralf Wildenhues                     Ralf.Wildenhues@gmx.de