diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/credits.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index efc0aa2291..aa990a5d15 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -484,6 +484,7 @@ begin_credits("Credits"); begin_section("AGI"); add_person("Stuart George", "darkfiber", ""); + add_person("Filippos Karapetis", "[md5]", ""); add_person("Paweł Kołodziejski", "aquadran", ""); add_person("Eugene Sandulenko", "sev", ""); add_person("David Symonds", "dsymonds", ""); |