As a result of the previous patch, it is no longer needed

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index efb67667c89d9ff68ed160858576a295164fce13..d9df063354b6e297385c3b7d2065cac6bdcfe3ed 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -30,6 +30,8 @@ Michael Hayes           m.hayes@elec.canterbury.ac.nz
 Mike Castle             dalgoda@ix.netcom.com
 Neil Booth              NeilB@earthling.net
 Nelson H. F. Beebe      beebe@math.utah.edu
 Mike Castle             dalgoda@ix.netcom.com
 Neil Booth              NeilB@earthling.net
 Nelson H. F. Beebe      beebe@math.utah.edu

+Nicolas Burrus          nicolas.burrus@epita.fr
+Nicolas Tisserand       nicolas.tisserand@epita.fr

 Noah Friedman           friedman@gnu.org
 Pascal Bart             pascal.bart@epita.fr
 Paul Eggert             eggert@twinsun.com
 Noah Friedman           friedman@gnu.org
 Pascal Bart             pascal.bart@epita.fr
 Paul Eggert             eggert@twinsun.com