1 files changed, 1 insertions, 0 deletions

diff --git a/tools/credits.pl b/tools/credits.pl
index 015134eaef..efc0aa2291 100755
--- a/tools/credits.pl
+++ b/tools/credits.pl
@@ -542,6 +542,7 @@ begin_credits("Credits");
 
 	  begin_section("SAGA");
 		  add_person("Torbjörn Andersson", "eriktorbjorn", "");
+		  add_person("Filippos Karapetis", "[md5]", "");
 		  add_person("Andrew Kurushin", "ajax16384", "");
 		  add_person("Eugene Sandulenko", "sev", "");
 	  end_section();