*** empty log message ***

diff --git a/THANKS b/THANKS
index 50cb1df52c4e6735a0255adbb262ee42e57ac809..3253680ce8191fe6e7866d70657e49ed1090e914 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -298,6 +298,7 @@ Phelippe Neveu                      pneveu@pcigeomatics.com
 Phil Richards                       phil.richards@vf.vodafone.co.uk
 Philippe De Muyter                  phdm@macqel.be
 Philippe Schnoebelen                Philippe.Schnoebelen@imag.fr
+Phillip Jones                       mouse@datastacks.com
 Piergiorgio Sartor                  sartor@sony.de
 Piotr Kwapulinski                   kwap@univ.gda.pl
 Prashant TR                         tr@eth.net