Fix grep portability issues.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 40291c71e690056ec7a80e6eaf9e71b708a49a86..d7adddddc0c11df3121b9d2d7311783c6129803e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -78,11 +78,12 @@ Raja R Harinath           harinath@cs.umn.edu
 Richard Stallman          rms@gnu.org
 Robert Anisko             anisko_r@epita.fr
 Satya Kiran Popuri        satyakiran@gmail.com
-Sebastien Fricker         sebastien.fricker@gmail.com
 Sebastian Setzer          sebastian.setzer.ext@siemens.com
+Sebastien Fricker         sebastien.fricker@gmail.com
 Sergei Steshenko          sergstesh@yahoo.com
 Shura                     debil_urod@ngs.ru
 Steve Murphy              murf@parsetree.com
+Summum Bonum              sum@geekhouse.org
 Tim Josling               tej@melbpc.org.au
 Tim Van Holder            tim.van.holder@pandora.be
 Tom Lane                  tgl@sss.pgh.pa.us