Restore --no-lines.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 20cff397a0885824219b2ddc0cb45c1ec298672d..3b731d18dffb619374314fcb55de1fff3d38742e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -25,6 +25,7 @@ H. Merijn Brand           h.m.brand@hccnet.nl
 Hans Aberg                haberg@matematik.su.se
 Jan Nieuwenhuizen         janneke@gnu.org
 Jesse Thilo               jthilo@gnu.org
+Jim Kent                  jkent@arch.sel.sony.com
 Jim Meyering              jim@meyering.net
 Juan Manuel Guerrero      ST001906@HRZ1.HRZ.TU-Darmstadt.De
 Kees Zeelenberg           kzlg@users.sourceforge.net
@@ -48,6 +49,7 @@ Paul Hilfinger            Hilfinger@CS.Berkeley.EDU
 Per Allansson             per@appgate.com
 Peter Hámorský            hamo@upjs.sk
 Piotr Gackiewicz          gacek@intertel.com.pl
+Quoc Peyrot               chojin@lrde.epita.fr
 R Blake                   blakers@mac.com
 Raja R Harinath           harinath@cs.umn.edu
 Richard Stallman          rms@gnu.org