output: record what generated files are source or report files

[bison.git] / THANKS

diff --git a/THANKS b/THANKS
index 9b7a8963b7466cb612aee4efab8907e2d11c6108..ebadb44734a2b8f25b09eeeb054be56295a1a2a6 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -96,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