portability: use va_start and va_end in the same function.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 5c4c1367113ead54243df0bf83cc5f3c1b24e277..67d666301218fbaba8e5b43ffb0d4b451c695555 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -14,6 +14,7 @@ Art Haas                  ahaas@neosoft.com
 Baron Schwartz            baron@sequent.org
 Benoit Perrot             benoit.perrot@epita.fr
 Bert Deknuydt             Bert.Deknuydt@esat.kuleuven.ac.be
+Bill Allombert            Bill.Allombert@math.u-bordeaux1.fr
 Bob Rossi                 bob@brasko.net
 Brandon Lucia             blucia@gmail.com
 Bruce Lilly               blilly@erols.com
@@ -57,6 +58,7 @@ Martin Nylin              martin.nylin@linuxmail.org
 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