summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2014-12-31 14:48:13 +0100
committerAkim Demaille <akim@lrde.epita.fr>2014-12-31 14:54:43 +0100
commit975bb564319aa4f4204c48aba265757ba207a80f (patch)
tree1bd2213399d727bd032a6479e2f53a145cea9b81 /THANKS
parent8d4dc896cb3aac3afaf82130a137c9d1afe37e48 (diff)
downloadbison-975bb564319aa4f4204c48aba265757ba207a80f.tar.gz
flex: don't trust YY_USER_INIT
Reported by Bernd Edligner and others. * src/scan-gram.l: here.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 1b1ff716..4559a901 100644
--- a/THANKS
+++ b/THANKS
@@ -16,6 +16,7 @@ Art Haas ahaas@neosoft.com
Baron Schwartz baron@sequent.org
Ben Pfaff blp@cs.stanford.edu
Benoit Perrot benoit.perrot@epita.fr
+Bernd Edligner bernd.edlinger@hotmail.de
Bernd Kiefer kiefer@dfki.de
Bert Deknuydt Bert.Deknuydt@esat.kuleuven.ac.be
Bill Allombert Bill.Allombert@math.u-bordeaux1.fr