Thank the developer of the initial push parser implementation.

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

ChangeLog

@@ -1,3 +1,9 @@
+2010-01-15  Joel E. Denny  <[email protected]>
+
+	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  <[email protected]>
 
 	Fix some comments concerning LR(0) versus LALR(1).

THANKS

@@ -68,6 +68,7 @@ Nelson H. F. Beebe        [email protected]
 Nicolas Burrus            [email protected]
 Nicolas Tisserand         [email protected]
 Noah Friedman             [email protected]
+Odd Arild Olsen           [email protected]
 Oleg Smolsky              [email protected]
 Paolo Bonzini             [email protected]
 Pascal Bart               [email protected]