summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--THANKS2
1 files changed, 1 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index 45c98ab5b..6c7490ffa 100644
--- 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
-