1 files changed, 1 insertions, 0 deletions

diff --git a/devtools/credits.pl b/devtools/credits.pl
index 33e9c82830..9cc5ad4227 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -604,6 +604,7 @@ begin_credits("Credits");
 			begin_section("Drascula");
 				add_person("Filippos Karapetis", "[md5]", "");
 				add_person("Paweł Kołodziejski", "aquadran", "");
+				add_person("Thierry Crozat", "criezy", "");
 			end_section();
 
 			begin_section("DreamWeb");