diff options
Diffstat (limited to 'devtools')
-rwxr-xr-x | devtools/credits.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index da051f4d8c..3a296fc65c 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -751,7 +751,7 @@ begin_credits("Credits"); add_person("Torbjörn Andersson", "eriktorbjorn", ""); add_person("Bertrand Augereau", "Tramb", ""); add_person("Filippos Karapetis", "[md5]", ""); - add_person("Vladimir Menshakov", "whoozle", "(retired)"); + add_person("Vladimir Menshakov", "whoozle", ""); add_person("Willem Jan Palenstijn", "wjp", ""); end_section(); @@ -966,7 +966,7 @@ begin_credits("Credits"); begin_section("TeenAgent"); add_person("Robert Megone", "sanguine", "Help with callback rewriting"); - add_person("Vladimir Menshakov", "whoozle", "(retired)"); + add_person("Vladimir Menshakov", "whoozle", ""); end_section(); begin_section("Tinsel"); |