Merge tag 'v2.5.1_rc2'

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index f2c5231aa85931f98ad7b92a99b5776c114aedcf..9d0af4bee40b2599901c4ef521a7a259f86ee6b8 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -114,6 +114,7 @@ Tys Lefering              gccbison@gmail.com
 Vin Shelton               acs@alumni.princeton.edu
 W.C.A. Wijngaards         wouter@NLnetLabs.nl
 Wayne Green               wayne@infosavvy.com
+Wei Song                  wsong83@gmail.com
 Wolfgang S. Kechel        wolfgang.kechel@prs.de
 Wolfram Wagner            ww@mpi-sb.mpg.de
 Wwp                       subscript@free.fr