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