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 -