Fix some nits reported by twlevo.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 983bf687b3dbc3da9878eb21556475eafdf8d5e3..4a5492e26d6ad756f3028e71937805f1bbd714be 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -51,6 +51,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
+Oleg Smolsky              oleg.smolsky@pacific-simulators.co.nz
 Pascal Bart               pascal.bart@epita.fr
 Paul Eggert               eggert@cs.ucla.edu
 Paul Hilfinger            Hilfinger@CS.Berkeley.EDU