maint: update THANKS.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 7603762d034f6b3a7dd2d4ccd6813d8b109be874..1ec0fb37f1c7a32c46d7ffaf43f92587aba4900a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -99,6 +99,7 @@ Sergei Steshenko          sergstesh@yahoo.com
 Shura                     debil_urod@ngs.ru
 Steve Murphy              murf@parsetree.com
 Summum Bonum              sum@geekhouse.org
+Thiru Ramakrishnan        thiru.ramakrishnan@gmail.com
 Tim Josling               tej@melbpc.org.au
 Tim Landscheidt           tim@tim-landscheidt.de
 Tim Van Holder            tim.van.holder@pandora.be
@@ -106,7 +107,7 @@ Tom Lane                  tgl@sss.pgh.pa.us
 Tom Tromey                tromey@cygnus.com
 Tommy Nordgren            tommy.nordgren@chello.se
 Troy A. Johnson           troyj@ecn.purdue.edu
-Tys Lefering              twlevo@gmail.com
+Tys Lefering              gccbison@gmail.com
 Vin Shelton               acs@alumni.princeton.edu
 W.C.A. Wijngaards         wouter@NLnetLabs.nl
 Wayne Green               wayne@infosavvy.com