1 files changed, 6 insertions, 0 deletions

diff --git a/devtools/credits.pl b/devtools/credits.pl
index 7e1985f03d..669b5e420e 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -687,6 +687,12 @@ begin_credits("Credits");
 				add_person("Joost Peters", "joostp", "");
 			end_section();
 
+			begin_section("Tony");
+				add_person("Arnaud Boutonné", "Strangerke", "");
+				add_person("Paul Gilbert", "dreammaster", "");
+				add_person("Alyssa Milburn", "fuzzie", "");
+			end_section();
+
 			begin_section("Toon");
 				add_person("Sylvain Dupont", "SylvainTV", "");
 			end_section();