errors: indent "result type clash" error context

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 75037b1f0196c75af16e75e03ab84130f429008f..8af0abbe8c73020d4260b83b8c24375595b489e2 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -101,7 +101,8 @@ 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
+Théophile Ranquet         theophile.ranquet@gmail.com
 Thiru Ramakrishnan        thiru.ramakrishnan@gmail.com
 Tim Josling               tej@melbpc.org.au
 Tim Landscheidt           tim@tim-landscheidt.de
@@ -125,6 +126,7 @@ thank them!  Please, help us keeping this list up to date.
 
 Local Variables:
 mode: text
+coding: utf-8
 End:
 
 -----