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

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 9186c0ffec252004543ecdc9a96e0f8389f2bf39..d9df063354b6e297385c3b7d2065cac6bdcfe3ed 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -26,9 +26,12 @@ Kees Zeelenberg         kzlg@users.sourceforge.net
 Keith Browne            kbrowne@legato.com
 Laurent Mascherpa       laurent.mascherpa@epita.fr
 Marc Autret             autret_m@epita.fr
 Keith Browne            kbrowne@legato.com
 Laurent Mascherpa       laurent.mascherpa@epita.fr
 Marc Autret             autret_m@epita.fr

+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