* src/files.c (open_files): Yipee! We no longer need all the code

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 5aa7039a1150c0452f276853d0210737c8227039..c0577e747ef836600fafc19bf586926fc7d5a8e2 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -2,6 +2,7 @@ Daniel Hagerty          hag@gnu.org
 David J. MacKenzie     djm@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