diff options
-rwxr-xr-x | devtools/credits.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 2360576e88..41c2d4f162 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -1053,7 +1053,7 @@ begin_credits("Credits"); end_section(); begin_section("German"); add_person("Simon Sawatzki", "SimSaw", ""); - add_person("Lothar Serra Mari", "Lothar93", "(retired)"); + add_person("Lothar Serra Mari", "rootfather", ""); end_section(); begin_section("Hungarian"); add_person("Alex Bevilacqua", "", ""); |