java: remove used variable

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 921b4ef5372075b9bbd6e18627d17bda22ead91f..7603762d034f6b3a7dd2d4ccd6813d8b109be874 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -100,6 +100,7 @@ Shura                     debil_urod@ngs.ru
 Steve Murphy              murf@parsetree.com
 Summum Bonum              sum@geekhouse.org
 Tim Josling               tej@melbpc.org.au
+Tim Landscheidt           tim@tim-landscheidt.de
 Tim Van Holder            tim.van.holder@pandora.be
 Tom Lane                  tgl@sss.pgh.pa.us
 Tom Tromey                tromey@cygnus.com
@@ -109,6 +110,7 @@ Tys Lefering              twlevo@gmail.com
 Vin Shelton               acs@alumni.princeton.edu
 W.C.A. Wijngaards         wouter@NLnetLabs.nl
 Wayne Green               wayne@infosavvy.com
+Wolfgang S. Kechel        wolfgang.kechel@prs.de
 Wolfram Wagner            ww@mpi-sb.mpg.de
 Wwp                       subscript@free.fr
 Zack Weinberg             zack@codesourcery.com