(escaped_file_name_output): New function.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 3b731d18dffb619374314fcb55de1fff3d38742e..e343d00c0ae1d9aac9b1b7df6824122889d3178c 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