Merge remote-tracking branch 'origin/maint'

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 8ae024fb26e86f695e70ba6ffa9976ba718cf162..0c6a81726e7547c8bf9e60c020241368a0a2c4fd 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -74,6 +74,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
@@ -94,6 +95,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