Thank the developer of the initial push parser implementation.

This unfortunate oversight is several years old.
* THANKS (Odd Arild Olsen): Add.
(cherry picked from commit 326e5cf81eada2ebd9007fa5fe9903a27a8bd067)

diff --git a/ChangeLog b/ChangeLog
index 885a574..a6b39d5 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 ef896a0..d4f3994 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -67,6 +67,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