diff options
Diffstat (limited to 'devtools/credits.pl')
| -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 602dfb6a60..a124314670 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -486,7 +486,7 @@ begin_credits("Credits"); add_person("Matthew Hoops", "clone2727", ""); add_person("Filippos Karapetis", "[md5]", ""); add_person("Paweł Kołodziejski", "aquadran", ""); - add_person("Walter van Niftrik", "waltervn", ""); + add_person("Walter van Niftrik", "waltervn", "(retired)"); add_person("Kari Salminen", "Buddha^", ""); add_person("Eugene Sandulenko", "sev", ""); add_person("David Symonds", "dsymonds", "(retired)"); @@ -609,7 +609,7 @@ begin_credits("Credits"); add_person("Max Horn", "Fingolfin", "(retired)"); add_person("Filippos Karapetis", "[md5]", ""); add_person("Martin Kiewitz", "m_kiewitz", ""); - add_person("Walter van Niftrik", "waltervn", ""); + add_person("Walter van Niftrik", "waltervn", "(retired)"); add_person("Willem Jan Palenstijn", "wjp", ""); add_person("Jordi Vilalta Prat", "jvprat", ""); add_person("Lars Skovlund", "lskovlun", ""); |