diff options
Diffstat (limited to 'devtools')
| -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 6199252a79..77f63bf774 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -725,7 +725,8 @@ begin_credits("Credits"); end_section(); begin_section("Maemo"); - add_person("Frantisek Dufka", "fanoush", ""); + add_person("Frantisek Dufka", "fanoush", "(retired)"); + add_person("Tarek Soliman", "tsoliman", ""); end_section(); begin_section("Nintendo 64"); |