* THANKS: Jan should have been added earlier...
This commit is contained in:
parent
cb7bdf8c1f
commit
ce6114f461
1 changed files with 1 additions and 0 deletions
1
THANKS
1
THANKS
|
|
@ -9,6 +9,7 @@ Felix Klaedtke
|
||||||
František Blahoudek
|
František Blahoudek
|
||||||
Gerard J. Holzmann
|
Gerard J. Holzmann
|
||||||
Heikki Tauriainen
|
Heikki Tauriainen
|
||||||
|
Jan Strejček
|
||||||
Jean-Michel Couvreur
|
Jean-Michel Couvreur
|
||||||
Jean-Michel Ilié
|
Jean-Michel Ilié
|
||||||
Joachim Klein
|
Joachim Klein
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue