Merge branch 'maint'

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 5e76b1d16d497975817955bb92ce24fcb2129a26..4ed4256da8766c62c4690602783730a37f611e79 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -103,7 +103,7 @@ Sergei Steshenko          sergstesh@yahoo.com
 Shura                     debil_urod@ngs.ru
 Stefano Lattarini         stefano.lattarini@gmail.com
 Steve Murphy              murf@parsetree.com
-Summum Bonum              sum@geekhouse.org
+Sum Wu                    sum@geekhouse.org
 Thiru Ramakrishnan        thiru.ramakrishnan@gmail.com
 Tim Josling               tej@melbpc.org.au
 Tim Landscheidt           tim@tim-landscheidt.de