diff options
| -rwxr-xr-x | devtools/credits.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 6201fc1052..78e29dc0db 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -538,6 +538,7 @@ begin_credits("Credits"); add_person("Stuart George", "darkfiber", ""); add_person("Matthew Hoops", "clone2727", ""); 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("Kari Salminen", "Buddha^", ""); |