X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/e36ec1f41ffbe9f00db405c775201dbbc384c45c..e42906f7904ca7516e9867a3a19ee08d963b1205:/THANKS diff --git a/THANKS b/THANKS index 4fbbbb0b..eab6349b 100644 --- a/THANKS +++ b/THANKS @@ -64,6 +64,7 @@ Laurent Mascherpa laurent.mascherpa@epita.fr Lie Yan lie.yan@kaust.edu.sa Magnus Fromreide magfr@lysator.liu.se Marc Autret autret_m@epita.fr +Marc Mendiola mmendiol@usc.edu Martin Jacobs martin.jacobs@arcor.de Martin Mokrejs mmokrejs@natur.cuni.cz Martin Nylin martin.nylin@linuxmail.org @@ -89,6 +90,7 @@ Paul Hilfinger Hilfinger@CS.Berkeley.EDU Per Allansson per@appgate.com Peter Fales psfales@lucent.com Peter Hamorsky hamo@upjs.sk +Peter Simons simons@cryp.to Piotr Gackiewicz gacek@intertel.com.pl Quentin Hocquet hocquet@gostai.com Quoc Peyrot chojin@lrde.epita.fr