summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorJoel E. Denny <jdenny@clemson.edu>2010-01-15 13:42:04 -0500
committerJoel E. Denny <jdenny@clemson.edu>2010-01-15 13:44:55 -0500
commit5a2f6eb4af4023484873f17e729fdd9a977ce3a9 (patch)
treecbe0540ca1dfdd9d09a39dad15c399621d87daf9 /THANKS
parent1c4ad777cb220ea669dc934c9b600a25a824a658 (diff)
downloadbison-5a2f6eb4af4023484873f17e729fdd9a977ce3a9.tar.gz
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)
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index ef896a02..d4f39944 100644
--- 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