glr: eliminate last bits of unwanted locations.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 5713bfc271290775c6a10ac8b756f22261ed0a73..6d0d89ee0ff70aba5a729d6e0a41bf37ae5d7a1b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -59,6 +59,7 @@ Juan Manuel Guerrero      juan.guerrero@gmx.de
 Kees Zeelenberg           kzlg@users.sourceforge.net
 Keith Browne              kbrowne@legato.com
 Laurent Mascherpa         laurent.mascherpa@epita.fr
 Kees Zeelenberg           kzlg@users.sourceforge.net
 Keith Browne              kbrowne@legato.com
 Laurent Mascherpa         laurent.mascherpa@epita.fr

+Lie Yan                   lie.yan@kaust.edu.sa

 Magnus Fromreide          magfr@lysator.liu.se
 Marc Autret               autret_m@epita.fr
 Martin Jacobs             martin.jacobs@arcor.de
 Magnus Fromreide          magfr@lysator.liu.se
 Marc Autret               autret_m@epita.fr
 Martin Jacobs             martin.jacobs@arcor.de