java: add push-parser support

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index e2cf97a615b8516e40fc598361081a9d1990958d..5bf346530e9cb8f7c951995e6129435e3d7df663 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -100,6 +100,7 @@ Peter Eisentraut          peter_e@gmx.net
 Peter Fales               psfales@lucent.com
 Peter Hamorsky            hamo@upjs.sk
 Peter Simons              simons@cryp.to
+Petr Machata              pmachata@redhat.com
 Piotr Gackiewicz          gacek@intertel.com.pl
 Quentin Hocquet           hocquet@gostai.com
 Quoc Peyrot               chojin@lrde.epita.fr