Fix the previous test.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 7f3784810686a032461e5cd21de091d516b3e3ea..7f4e262ca1bb1dafeb3bfa2d56b041adcdb4747d 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -13,6 +13,7 @@ Dick Streefland               dick.streefland@altium.nl
 Enrico Scholz           enrico.scholz@informatik.tu-chemnitz.de
 Evgeny Stambulchik     fnevgeny@plasma-gate.weizmann.ac.il
 Fabrice Bauzac          noon@cote-dazur.com
+Florian Krohm           florian@edamail.fishkill.ibm.com
 H. Merijn Brand         h.m.brand@hccnet.nl
 Hans Aberg              haberg@matematik.su.se
 Jesse Thilo             jthilo@gnu.org