Thank the developer of the initial push parser implementation.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 0a203edb474bd606a0e0dafd61267cee1109c80c..1cfb47c64ddd671ebb7e774edbebfc66a35e5f02 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -68,6 +68,7 @@ Nelson H. F. Beebe        beebe@math.utah.edu
 Nicolas Burrus            nicolas.burrus@epita.fr
 Nicolas Tisserand         nicolas.tisserand@epita.fr
 Noah Friedman             friedman@gnu.org
 Nicolas Burrus            nicolas.burrus@epita.fr
 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
 Paolo Bonzini             bonzini@gnu.org
 Pascal Bart               pascal.bart@epita.fr
 Oleg Smolsky              oleg.smolsky@pacific-simulators.co.nz
 Paolo Bonzini             bonzini@gnu.org
 Pascal Bart               pascal.bart@epita.fr