Merge branch 'maint'

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index b83ec0e5ee05409f15ca5d2f2106d26ff29a02cc..4fbbbb0b81db32278318587766dfabeeef94dd6e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -81,6 +81,7 @@ Nicolas Tisserand         nicolas.tisserand@epita.fr
 Noah Friedman             friedman@gnu.org
 Odd Arild Olsen           oao@fibula.no
 Oleg Smolsky              oleg.smolsky@pacific-simulators.co.nz
 Noah Friedman             friedman@gnu.org
 Odd Arild Olsen           oao@fibula.no
 Oleg Smolsky              oleg.smolsky@pacific-simulators.co.nz

+Oleksii Taran             oleksii.taran@gmail.com

 Paolo Bonzini             bonzini@gnu.org
 Pascal Bart               pascal.bart@epita.fr
 Paul Eggert               eggert@cs.ucla.edu
 Paolo Bonzini             bonzini@gnu.org
 Pascal Bart               pascal.bart@epita.fr
 Paul Eggert               eggert@cs.ucla.edu