named references: fix double free.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 02082c1c4eea37572bd29adee57dea0a595faa01..f9b1b8a6c8337308ce615bbabbb48772463d613c 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -104,7 +104,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@xs4all.nl
+Tys Lefering              twlevo@gmail.com
 Vin Shelton               acs@alumni.princeton.edu
 Wayne Green               wayne@infosavvy.com
 Wolfram Wagner            ww@mpi-sb.mpg.de