Thank the developer of the initial push parser implementation.

This unfortunate oversight is several years old.
* THANKS (Odd Arild Olsen): Add.

diff --git a/ChangeLog b/ChangeLog
index 5120acaa24c5b47fefffb97e4f3e6a86c4e0cd01..51585761204f8c89c993d3564313247cf771fc6a 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2010-01-15  Joel E. Denny  <jdenny@clemson.edu>
+
+       Thank the developer of the initial push parser implementation.
+       This unfortunate oversight is several years old.
+       * THANKS (Odd Arild Olsen): Add.
+
 2010-01-04  Joel E. Denny  <jdenny@clemson.edu>
 
        Fix some comments concerning LR(0) versus LALR(1).

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
+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