gnulib: update

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 32fc67f157a7928c7a698f8858a2814847be3ec1..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