diff options
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/credits.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 831f87e9e6..d4bc3c0aaa 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -552,7 +552,12 @@ begin_credits("Credits"); add_person("Oliver Kiehl", "olki", "(retired)"); add_person("Ludvig Strigeus", "ludde", "(retired)"); end_section(); - + + begin_section("Access"); + add_person("Arnaud Boutonné", "Strangerke", ""); + add_person("Paul Gilbert", "dreammaster", ""); + end_section(); + begin_section("Avalanche"); add_person("Peter Bozsó", "uruk", ""); add_person("Arnaud Boutonné", "Strangerke", ""); |