*** empty log message ***

diff --git a/THANKS b/THANKS
index dc7f0cce09624c7a559f6d0e43f9759ed7709330..f8f18e24edb592bc1644462b3fceeae3692ffac1 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -164,6 +164,7 @@ Jan Fedak                           J.Fedak@sh.cvut.cz
 Jan Nieuwenhuizen                   janneke@gnu.org
 Janos Farkas                        chexum@shadow.banki.hu
 Jarkko Hietaniemi                   jhi@epsilon.hut.fi
+Jean Charles Delepine               delepine@u-picardie.fr
 Jeff Moore                          jbm@mordor.com
 Jeff Sheinberg                      jeffsh@localnet.com
 Jens Schmidt                        jms@jsds.hamburg.com