* djgpp/config.bat: Fix that inttypes.h and inttypes_.h map on the same 8.3 alias.

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index ddc54adbafcc54b60c0b45333a8d92d058234cb3..a5a4a5a0fa397249f297446e1974a9b0073b0463 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -69,6 +69,8 @@ R Blake                   blakers@mac.com
 Raja R Harinath           harinath@cs.umn.edu
 Richard Stallman          rms@gnu.org
 Robert Anisko             anisko_r@epita.fr
+Satya Kiran Popuri        satyakiran@gmail.com
+Sébastien Fricker         sebastien.fricker@gmail.com
 Shura                     debil_urod@ngs.ru
 Steve Murphy              murf@parsetree.com
 Tim Josling               tej@melbpc.org.au