]> git.saurik.com Git - bison.git/blobdiff - THANKS
Merge remote-tracking branch 'origin/maint'
[bison.git] / THANKS
diff --git a/THANKS b/THANKS
index 21e7a1dd855ffc4e98cd6096629dab010d77cbe3..eab6349b9abd8af897a2b213f1f585c59df48bad 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -72,6 +72,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
@@ -91,6 +92,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