[PATCH] Thank the developer of the initial push parser implementation.

[Joel E. Denny]

Hi guys,

Sorry for this oversight.  I went ahead and pushed this patch to master, 
branch-2.5, and branch-2.4.2 so that I don't forget it before rolling 
2.4.2.

>From 326e5cf81eada2ebd9007fa5fe9903a27a8bd067 Mon Sep 17 00:00:00 2001
From: Joel E. Denny <address@hidden>
Date: Fri, 15 Jan 2010 13:42:04 -0500
Subject: [PATCH] Thank the developer of the initial push parser implementation.

This unfortunate oversight is several years old.
* THANKS (Odd Arild Olsen): Add.
---
 ChangeLog |    6 ++++++
 THANKS    |    1 +
 2 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 5120aca..5158576 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2010-01-15  Joel E. Denny  <address@hidden>
+
+       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  <address@hidden>
 
        Fix some comments concerning LR(0) versus LALR(1).
diff --git a/THANKS b/THANKS
index 0a203ed..1cfb47c 100644
--- a/THANKS
+++ b/THANKS
@@ -68,6 +68,7 @@ Nelson H. F. Beebe        address@hidden
 Nicolas Burrus            address@hidden
 Nicolas Tisserand         address@hidden
 Noah Friedman             address@hidden
+Odd Arild Olsen           address@hidden
 Oleg Smolsky              address@hidden
 Paolo Bonzini             address@hidden
 Pascal Bart               address@hidden
-- 
1.5.4.3