diff options
Diffstat (limited to 'devtools/credits.pl')
| -rwxr-xr-x | devtools/credits.pl | 3 |
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"); |