maint: update THANKS.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 7e246af0af905840969f5d0d6fd31e12958c9f53..1ec0fb37f1c7a32c46d7ffaf43f92587aba4900a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -107,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