diff --git a/THANKS b/THANKS index 2960fe0ac..9329653b5 100644 --- a/THANKS +++ b/THANKS @@ -9,6 +9,7 @@ Felix Klaedtke František Blahoudek Gerard J. Holzmann Heikki Tauriainen +Jan Strejček Jean-Michel Couvreur Jean-Michel Ilié Joachim Klein