aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/credits.pl1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl
index 468e2338fd..db6268fece 100755
--- a/tools/credits.pl
+++ b/tools/credits.pl
@@ -480,6 +480,7 @@ begin_credits("Credits");
end_section();
begin_section("AGI");
+ add_person("Stuart George", "darkfiber", "");
add_person("Paweł Kołodziejski", "aquadran", "");
add_person("Eugene Sandulenko", "sev", "");
add_person("David Symonds", "dsymonds", "");