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 2ba38b9c497a7b043b6c6f95737c09006deea60d..96e0593f7451a0f0caf8357f0d2e6337458e4745 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>
 
        maint: run "make update-copyright"

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