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 0f07641aae..b0f40cbe6e 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -712,7 +712,8 @@ begin_credits("Credits"); begin_section("PocketPC / WinCE"); add_person("Nicolas Bacca", "arisme", "(retired)"); - add_person("Kostas Nakos", "Jubanka", ""); + add_person("Ismail Khatib", "CeRiAl", ""); + add_person("Kostas Nakos", "Jubanka", "(retired)"); end_section(); begin_section("PlayStation 2"); |