We spend a lot of time in quotearg, in particular when --verbose.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 8bf7741e8af5fac27110ea2e1b6de896a54cd6e1..775c51c69d1aed1b0521f3910b601e5241f4ae65 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,7 @@ 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

+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 +51,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.