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 8d4bdee2fd..ba209e8591 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -550,7 +550,7 @@ begin_credits("Credits"); begin_section("DreamWeb"); add_person("Torbjörn Andersson", "eriktorbjorn", ""); add_person("Bertrand Augereau", "Tramb", ""); - add_person("Vladimir Menshakov", "whoozle", ""); + add_person("Vladimir Menshakov", "whoozle", "(retired)"); end_section(); begin_section("Gob"); @@ -668,7 +668,7 @@ begin_credits("Credits"); begin_section("TeenAgent"); add_person("Robert Megone", "sanguine", "Help with callback rewriting"); - add_person("Vladimir Menshakov", "whoozle", ""); + add_person("Vladimir Menshakov", "whoozle", "(retired)"); end_section(); begin_section("Tinsel"); |