Merge remote-tracking branch 'origin/maint'

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 9a64012caf7d35335c5500b341c0437b4e858c27..dbe54791e383d85b72e1553b7a0aa5f02c8f3ca0 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -76,6 +76,7 @@ Matt Kraai                kraai@alumni.cmu.edu
 Matt Rosing               rosing@peakfive.com
 Michael Hayes             m.hayes@elec.canterbury.ac.nz
 Michael Raskin            7c6f434c@mail.ru
+Michiel De Wilde          mdewilde.agilent@gmail.com
 Mickael Labau             labau_m@epita.fr
 Mike Castle               dalgoda@ix.netcom.com
 Neil Booth                NeilB@earthling.net
@@ -96,6 +97,7 @@ Peter Fales               psfales@lucent.com
 Peter Hamorsky            hamo@upjs.sk
 Peter Simons              simons@cryp.to
 Piotr Gackiewicz          gacek@intertel.com.pl
+Quentin Hocquet           hocquet@gostai.com
 Quoc Peyrot               chojin@lrde.epita.fr
 R Blake                   blakers@mac.com
 Raja R Harinath           harinath@cs.umn.edu