diff options
Diffstat (limited to 'devtools/credits.pl')
| -rwxr-xr-x | devtools/credits.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 968a24281e..696888731e 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -1039,7 +1039,7 @@ begin_credits("Credits"); begin_section("GUI"); add_person("Max Horn", "Fingolfin", "(retired)"); - add_person("Vicent Marti", "tanoku", ""); + add_person("Vicent Marti", "tanoku", "(retired)"); add_person("Eugene Sandulenko", "sev", ""); add_person("Johannes Schickel", "LordHoto", "(retired)"); end_section(); |