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

1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index bff091755..5f3c5bd72 100644
--- 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