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 78e29dc0db..d7cd26fbdc 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -540,7 +540,7 @@ begin_credits("Credits"); add_person("Filippos Karapetis", "[md5]", ""); add_person("Martin Kiewitz", "m_kiewitz", ""); add_person("Paweł Kołodziejski", "aquadran", ""); - add_person("Walter van Niftrik", "waltervn", "(retired)"); + add_person("Walter van Niftrik", "waltervn", ""); add_person("Kari Salminen", "Buddha^", ""); add_person("Eugene Sandulenko", "sev", ""); add_person("David Symonds", "dsymonds", "(retired)"); @@ -714,7 +714,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", "(retired)"); + add_person("Walter van Niftrik", "waltervn", ""); add_person("Willem Jan Palenstijn", "wjp", ""); add_person("Jordi Vilalta Prat", "jvprat", ""); add_person("Lars Skovlund", "lskovlun", ""); |