Merge remote-tracking branch 'origin/maint'

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 9d0af4bee40b2599901c4ef521a7a259f86ee6b8..c0c274cb448f9dccad3ddcb95d47c1f5eaa02e90 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -43,6 +43,7 @@ Frank Heckenbach          frank@g-n-u.de
 Frans Englich             frans.englich@telia.com
 Georg Sauthoff            gsauthof@TechFak.Uni-Bielefeld.DE
 George Neuner             gneuner2@comcast.net
+Gilles Espinasse          g.esp@free.fr
 Goran Uddeborg            goeran@uddeborg.se
 Guido Trentalancia        trentalg@aston.ac.uk
 H. Merijn Brand           h.m.brand@hccnet.nl