(NUMBER_UNDEFINED): Remove unnecessary cast.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 3b731d18dffb619374314fcb55de1fff3d38742e..8da95288085e1ec3780ea58f2e37c83df8272f08 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -11,7 +11,7 @@ Art Haas                  ahaas@neosoft.com
 Benoit Perrot             benoit.perrot@epita.fr
 Bert Deknuydt             Bert.Deknuydt@esat.kuleuven.ac.be
 Bruce Lilly               blilly@erols.com
-Charles-Henri de Boysson  deboys_c@epita.fr
+Charles-Henri de Boysson  de-boy_c@epita.fr
 Cris Bailiff              c.bailiff+bison@awayweb.com
 Cris van Pelt             cris@amf03054.office.wxs.nl
 Daniel Hagerty            hag@gnu.org
@@ -56,6 +56,7 @@ Richard Stallman          rms@gnu.org
 Robert Anisko             anisko_r@epita.fr
 Shura                     debil_urod@ngs.ru
 Tim Josling               tej@melbpc.org.au
+Tim Van Holder            tim.van.holder@pandora.be
 Tom Lane                  tgl@sss.pgh.pa.us
 Tom Tromey                tromey@cygnus.com
 Wayne Green               wayne@infosavvy.com