*** empty log message ***

diff --git a/THANKS b/THANKS
index 45c98ab5b436dd93c4acdc04753664d1d4205ac7..6c7490ffab5cadd168a2598eaa4e66ab76020a47 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -27,6 +27,7 @@ Miles Bader: miles@gnu.ai.mit.edu
 Noel Cragg: noel@red-bean.com
 Peter Eriksson: peter@ifm.liu.se
 Paul Eggert: eggert@twinsun.com
+Philippe De Muyter: phdm@macqel.be
 Ross Ridge: rridge@calum.csclub.uwaterloo.ca
 Santiago Vila Doncel: sanvila@unex.es
 Stuart Kemp: skemp@peter.bmc.com
@@ -35,4 +36,3 @@ Torbjorn Lindgren: tl@funcom.no
 Tony Leneis: tony@plaza.ds.adp.com
 Michael Veksler: mveksler@techunix.technion.ac.il
 Wayne Stewart: wstewa@atl.com
-