aboutsummaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/credits.pl4
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");