aboutsummaryrefslogtreecommitdiff
path: root/devtools/credits.pl
diff options
context:
space:
mode:
Diffstat (limited to 'devtools/credits.pl')
-rwxr-xr-xdevtools/credits.pl3
1 files changed, 2 insertions, 1 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl
index 1a038c7dee..6201fc1052 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -826,8 +826,9 @@ begin_credits("Credits");
add_person("John Willis", "DJWillis", "");
end_section();
- begin_section("iPhone");
+ begin_section("iPhone / iPad");
add_person("Oystein Eftevaag", "vinterstum", "");
+ add_person("Vincent Bénony", "bSr43", "");
end_section();
begin_section("LinuxMoto");