Thank the developer of the initial push parser implementation.
authorJoel E. Denny <jdenny@clemson.edu>
Fri, 15 Jan 2010 18:42:04 +0000 (13:42 -0500)
committerJoel E. Denny <jdenny@clemson.edu>
Fri, 15 Jan 2010 18:44:55 +0000 (13:44 -0500)
commit5a2f6eb4af4023484873f17e729fdd9a977ce3a9
treecbe0540ca1dfdd9d09a39dad15c399621d87daf9
parent1c4ad777cb220ea669dc934c9b600a25a824a658
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)
ChangeLog
THANKS