From ce6114f4615bf22b6ff869fcea521936ca9d59a2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 28 Jul 2013 21:54:05 +0200 Subject: [PATCH] * THANKS: Jan should have been added earlier... --- THANKS | 1 + 1 file changed, 1 insertion(+) 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