yacc.c: do not use __attribute__ unprotected

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index ed978d3760b10028ae7bac7079d3f9960f7b9f2f..9b24974f878b8c25dcd503ee836c428ca5b9a160 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -121,6 +121,7 @@ Tom Tromey                tromey@cygnus.com
 Tommy Nordgren            tommy.nordgren@chello.se
 Troy A. Johnson           troyj@ecn.purdue.edu
 Tys Lefering              gccbison@gmail.com
+Victor Khomenko           victor.khomenko@newcastle.ac.uk
 Vin Shelton               acs@alumni.princeton.edu
 W.C.A. Wijngaards         wouter@NLnetLabs.nl
 Wayne Green               wayne@infosavvy.com