1 files changed, 1 insertions, 0 deletions

diff --git a/tools/credits.pl b/tools/credits.pl
index c974590ac6..db213921ed 100755
--- a/tools/credits.pl
+++ b/tools/credits.pl
@@ -482,6 +482,7 @@ begin_credits("Credits");
 	  begin_section("AGI");
 		  add_person("Paweł Kołodziejski", "aquadran", "");
 		  add_person("Eugene Sandulenko", "sev", "");
+		  add_person("David Symonds", "dsymonds", "");
 	  end_section();
 
 	  begin_section("AGOS");