Add.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 239ffb64dc547d668fae42a7bb75eba657ce84c0..4c3823e6dee0c79f724bce4e076ee54cc2e599b0 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -1,10 +1,13 @@
 Daniel Hagerty         hag@gnu.org
 David J. MacKenzie     djm@gnu.org
 Daniel Hagerty         hag@gnu.org
 David J. MacKenzie     djm@gnu.org

+Hans Aberg             haberg@matematik.su.se

 Jesse Thilo            jthilo@gnu.org
 Jim Meyering           meyering@gnu.org
 Jesse Thilo            jthilo@gnu.org
 Jim Meyering           meyering@gnu.org

+Laurent Mascherpa      laurent.mascherpa@epita.fr

 Neil Booth             NeilB@earthling.net
 Noah Friedman                  friedman@gnu.org
 Paul Eggert            eggert@twinsun.com
 Neil Booth             NeilB@earthling.net
 Noah Friedman                  friedman@gnu.org
 Paul Eggert            eggert@twinsun.com

+Piotr Gackiewicz       gacek@intertel.com.pl

 Richard Stallman       rms@gnu.org
 
 Many people are not named here because we lost track of them.  We
 Richard Stallman       rms@gnu.org
 
 Many people are not named here because we lost track of them.  We