gnulib: update

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index b6a2b2d854e783a8f64c27d8126f73371ca1d757..ee05b564a0b6d4c158cdba09a6678b4e75e8615b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -87,6 +87,7 @@ Paul Hilfinger            Hilfinger@CS.Berkeley.EDU
 Per Allansson             per@appgate.com
 Peter Fales               psfales@lucent.com
 Peter Hamorsky            hamo@upjs.sk
+Peter Simons              simons@cryp.to
 Piotr Gackiewicz          gacek@intertel.com.pl
 Quoc Peyrot               chojin@lrde.epita.fr
 R Blake                   blakers@mac.com