regen.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 23907e68c79cda5440957045b53477e042c906b1..5713bfc271290775c6a10ac8b756f22261ed0a73 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -96,6 +96,7 @@ Sebastian Setzer          sebastian.setzer.ext@siemens.com
 Sebastien Fricker         sebastien.fricker@gmail.com
 Sergei Steshenko          sergstesh@yahoo.com
 Shura                     debil_urod@ngs.ru
 Sebastien Fricker         sebastien.fricker@gmail.com
 Sergei Steshenko          sergstesh@yahoo.com
 Shura                     debil_urod@ngs.ru

+Stefano Lattarini         stefano.lattarini@gmail.com

 Steve Murphy              murf@parsetree.com
 Summum Bonum              sum@geekhouse.org
 Thiru Ramakrishnan        thiru.ramakrishnan@gmail.com
 Steve Murphy              murf@parsetree.com
 Summum Bonum              sum@geekhouse.org
 Thiru Ramakrishnan        thiru.ramakrishnan@gmail.com