Cope with CVS weird way to report warnings.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 5bef583f3f378bce5e65c2fe5c02afb719bf5074..82eb848b2f8864db535819c161589a0ebc29db56 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -7,6 +7,7 @@ Hans Aberg              haberg@matematik.su.se
 Jesse Thilo            jthilo@gnu.org
 Jim Meyering           meyering@gnu.org
 Laurent Mascherpa      laurent.mascherpa@epita.fr
+Marc Autret             autret_m@epita.fr
 Neil Booth             NeilB@earthling.net
 Noah Friedman                  friedman@gnu.org
 Paul Eggert            eggert@twinsun.com