aboutsummaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/credits.pl10
1 files changed, 5 insertions, 5 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl
index d87cc01ce6..ce1d8537a4 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -526,6 +526,11 @@ begin_credits("Credits");
add_person("Eugene Sandulenko", "sev", "");
end_section();
+ begin_section("Access");
+ add_person("Arnaud Boutonné", "Strangerke", "");
+ add_person("Paul Gilbert", "dreammaster", "");
+ end_section();
+
begin_section("ADL");
add_person("Walter van Niftrik", "waltervn", "");
end_section();
@@ -550,11 +555,6 @@ begin_credits("Credits");
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", "");