*** empty log message ***

diff --git a/THANKS b/THANKS
index e1c6c17d1bba57fc36cf21f9662735a0b61f123a..37f851238c6c12932ef67b8b4ebe381b6db0048a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -115,6 +115,7 @@ David Eisner                        cradle@umd.edu
 David Flynn                         dav@chess.plus.com
 David Godfrey                       dave@delta.demon.co.uk
 David Luyer                         david_luyer@pacific.net.au
+David Madore                        david.madore@ens.fr
 David Malone                        dwmalone@cnri.dit.ie
 Deepak Goel                         deego@gnufans.org
 Dennis Henriksen                    opus@flamingo.osrl.dk