Add more possible file name variations of Makefile.in.in

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 983bf687b3dbc3da9878eb21556475eafdf8d5e3..0c795d7ff73196be62232508ffb6f03af772e9c7 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -45,12 +45,14 @@ Martin Mokrejs            mmokrejs@natur.cuni.cz
 Matt Kraai                kraai@alumni.cmu.edu
 Matt Rosing               rosing@peakfive.com
 Michael Hayes             m.hayes@elec.canterbury.ac.nz
+Mickael Labau             labau_m@epita.fr
 Mike Castle               dalgoda@ix.netcom.com
 Neil Booth                NeilB@earthling.net
 Nelson H. F. Beebe        beebe@math.utah.edu
 Nicolas Burrus            nicolas.burrus@epita.fr
 Nicolas Tisserand         nicolas.tisserand@epita.fr
 Noah Friedman             friedman@gnu.org
+Oleg Smolsky              oleg.smolsky@pacific-simulators.co.nz
 Pascal Bart               pascal.bart@epita.fr
 Paul Eggert               eggert@cs.ucla.edu
 Paul Hilfinger            Hilfinger@CS.Berkeley.EDU