*** empty log message ***

1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index cc0527bb8..3dfd4284d 100644
--- a/THANKS
+++ b/THANKS
@@ -203,6 +203,7 @@ Peter Seebach                       seebs@taniemarie.solon.com
 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
 Rainer Orth                         ro@TechFak.Uni-Bielefeld.DE
 Ralf W. Stephan                     stephan@tmt.de
 Ralph Loader                        loader@maths.ox.ac.uk