output: record what generated files are source or report files

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 0ffa8b646f991236c3e00a55fd82de73d827b25b..ebadb44734a2b8f25b09eeeb054be56295a1a2a6 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -66,6 +66,7 @@ Johan van Selst           johans@stack.nl
 Jonathan Fabrizio         jonathan.fabrizio@lrde.epita.fr
 Jonathan Nieder           jrnieder@gmail.com
 Juan Manuel Guerrero      juan.guerrero@gmx.de
+Ken Moffat                zarniwhoop@ntlworld.com
 Kees Zeelenberg           kzlg@users.sourceforge.net
 Keith Browne              kbrowne@legato.com
 Laurent Mascherpa         laurent.mascherpa@epita.fr
@@ -79,6 +80,7 @@ Martin Mokrejs            mmokrejs@natur.cuni.cz
 Martin Nylin              martin.nylin@linuxmail.org
 Matt Kraai                kraai@alumni.cmu.edu
 Matt Rosing               rosing@peakfive.com
+Michael Felt              mamfelt@gmail.com
 Michael Hayes             m.hayes@elec.canterbury.ac.nz
 Michael Raskin            7c6f434c@mail.ru
 Michiel De Wilde          mdewilde.agilent@gmail.com
@@ -94,6 +96,7 @@ Odd Arild Olsen           oao@fibula.no
 Oleg Smolsky              oleg.smolsky@pacific-simulators.co.nz
 Oleksii Taran             oleksii.taran@gmail.com
 Paolo Bonzini             bonzini@gnu.org
+Paolo Simone Gasparello   djgaspa@gmail.com
 Pascal Bart               pascal.bart@epita.fr
 Paul Eggert               eggert@cs.ucla.edu
 Paul Hilfinger            Hilfinger@CS.Berkeley.EDU