maint: update THANKS.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index a1a8a8b9a46c50f743f093f4b97d5ea30e399b1f..f67bd0cdd508afc4a480b5be68ce66a2c1f06195 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -105,7 +105,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