(EXTRA_DIST): Avoid +=, a GNU make extension.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 8bf7741e8af5fac27110ea2e1b6de896a54cd6e1..77b7c53a7e8fb7c4e4f51a1824b41714ed842c8a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -28,6 +28,7 @@ Keith Browne            kbrowne@legato.com
 Laurent Mascherpa       laurent.mascherpa@epita.fr
 Magnus Fromreide        magfr@lysator.liu.se
 Marc Autret             autret_m@epita.fr
 Laurent Mascherpa       laurent.mascherpa@epita.fr
 Magnus Fromreide        magfr@lysator.liu.se
 Marc Autret             autret_m@epita.fr

+Matt Kraai              kraai@alumni.cmu.edu

 Michael Hayes           m.hayes@elec.canterbury.ac.nz
 Mike Castle             dalgoda@ix.netcom.com
 Neil Booth              NeilB@earthling.net
 Michael Hayes           m.hayes@elec.canterbury.ac.nz
 Mike Castle             dalgoda@ix.netcom.com
 Neil Booth              NeilB@earthling.net


@@ -40,6 +41,8 @@ Paul Eggert             eggert@twinsun.com
 Per Allansson           per@appgate.com
 Peter Hámorský          hamo@upjs.sk
 Piotr Gackiewicz        gacek@intertel.com.pl
 Per Allansson           per@appgate.com
 Peter Hámorský          hamo@upjs.sk
 Piotr Gackiewicz        gacek@intertel.com.pl

+R Blake                 blakers@mac.com
+Raja R Harinath         harinath@cs.umn.edu

 Richard Stallman        rms@gnu.org
 Robert Anisko           anisko_r@epita.fr
 Shura                   debil_urod@ngs.ru
 Richard Stallman        rms@gnu.org
 Robert Anisko           anisko_r@epita.fr
 Shura                   debil_urod@ngs.ru


@@ -49,6 +52,7 @@ Tom Tromey              tromey@cygnus.com
 Wayne Green             wayne@infosavvy.com
 Wolfram Wagner          ww@mpi-sb.mpg.de
 Wwp                     subscript@free.fr
 Wayne Green             wayne@infosavvy.com
 Wolfram Wagner          ww@mpi-sb.mpg.de
 Wwp                     subscript@free.fr

+Zack Weinberg           zack@codesourcery.com

 
 Many people are not named here because we lost track of them.  We
 thank them!  Please, help us keeping this list up to date.
 
 Many people are not named here because we lost track of them.  We
 thank them!  Please, help us keeping this list up to date.