Document YYFPRINTF, YYSTDERR.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 7b7aa68539fd553eb4af5174b3f94c93d5c446f9..e0ae913f053258836e32d35c18b2c92d15106c1b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -22,6 +22,7 @@ Noah Friedman           friedman@gnu.org
 Pascal Bart             pascal.bart@epita.fr
 Paul Eggert             eggert@twinsun.com
 Per Allansson           per@appgate.com
+Peter Hámorský          hamo@upjs.sk
 Piotr Gackiewicz        gacek@intertel.com.pl
 Richard Stallman        rms@gnu.org
 Robert Anisko           anisko_r@epita.fr