*** empty log message ***

diff --git a/THANKS b/THANKS
index 9ed6abc..e3f2265 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -208,6 +208,7 @@ Phil Richards                       phil.richards@vf.vodafone.co.uk
 Philippe De Muyter                  phdm@macqel.be
 Philippe Schnoebelen                Philippe.Schnoebelen@imag.fr
 Piergiorgio Sartor                  sartor@sony.de
+Piotr Kwapulinski                   kwap@manta.univ.gda.pl
 Rainer Orth                         ro@TechFak.Uni-Bielefeld.DE
 Ralf W. Stephan                     stephan@tmt.de
 Ralph Loader                        loader@maths.ox.ac.uk