%define: accept unquoted values.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 5c4c1367113ead54243df0bf83cc5f3c1b24e277..ab87ff6cb6b0f6b6f442b1bc6da39f168b731085 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