Merge remote-tracking branch 'origin/maint'

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index c0c274cb448f9dccad3ddcb95d47c1f5eaa02e90..5e76b1d16d497975817955bb92ce24fcb2129a26 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -13,6 +13,7 @@ Anthony Heading           ajrh@ajrh.net
 Arnold Robbins            arnold@skeeve.com
 Art Haas                  ahaas@neosoft.com
 Baron Schwartz            baron@sequent.org
+Ben Pfaff                 blp@cs.stanford.edu
 Benoit Perrot             benoit.perrot@epita.fr
 Bernd Kiefer              kiefer@dfki.de
 Bert Deknuydt             Bert.Deknuydt@esat.kuleuven.ac.be