java: fix location handling bug.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index e4354d77a07dbeb685fd773141bff8f110ede2d5..43acbed29f501162e1d2b978c89113f47be04f38 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -13,6 +13,7 @@ Arnold Robbins            arnold@skeeve.com
 Art Haas                  ahaas@neosoft.com
 Baron Schwartz            baron@sequent.org
 Benoit Perrot             benoit.perrot@epita.fr
+Bernd Kiefer              kiefer@dfki.de
 Bert Deknuydt             Bert.Deknuydt@esat.kuleuven.ac.be
 Bill Allombert            Bill.Allombert@math.u-bordeaux1.fr
 Bob Rossi                 bob@brasko.net