gnulib: update

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 26bea0a76f05a9b0ca80c4e16df5ffac557b5eb1..12086a9ac6fa6b17b74569b5e422f32f080552d1 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -15,6 +15,7 @@ Anthony Heading           ajrh@ajrh.net
 Antonio Silva Correia     amsilvacorreia@hotmail.com
 Arnold Robbins            arnold@skeeve.com
 Art Haas                  ahaas@neosoft.com
+Askar Safin               safinaskar@mail.ru
 Baron Schwartz            baron@sequent.org
 Ben Pfaff                 blp@cs.stanford.edu
 Benoit Perrot             benoit.perrot@epita.fr
@@ -48,6 +49,7 @@ Enrico Scholz             enrico.scholz@informatik.tu-chemnitz.de
 Eric Blake                ebb9@byu.net
 Evgeny Stambulchik        fnevgeny@plasma-gate.weizmann.ac.il
 Fabrice Bauzac            noon@cote-dazur.com
+Ferdinand Thiessen        ferdinand@fthiessen.de
 Florian Krohm             florian@edamail.fishkill.ibm.com
 Frank Heckenbach          frank@g-n-u.de
 Frans Englich             frans.englich@telia.com