diff options
| -rwxr-xr-x | tools/credits.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index dbe098a652..59f54a3dc8 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -610,6 +610,7 @@ begin_credits("Credits"); add_person("Willem Jan Palenstijn", "wjp", ""); add_person("Jordi Vilalta Prat", "jvprat", ""); add_person("Lars Skovlund", "lskovlun", ""); + add_person("Martin Kiewitz", "m_kiewitz", ""); end_section(); begin_section("Tinsel"); |