aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--AUTHORS2
-rwxr-xr-xdevtools/credits.pl2
-rw-r--r--gui/credits.h1
3 files changed, 3 insertions, 2 deletions
diff --git a/AUTHORS b/AUTHORS
index 3775f50ba7..2ae50159c3 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -428,7 +428,7 @@ Other contributions
German:
Simon Sawatzki
- Lothar Serra Mari
+ Lothar Serra Mari - (retired)
Hungarian:
Alex Bevilacqua
diff --git a/devtools/credits.pl b/devtools/credits.pl
index 669b5e420e..e04e35d3be 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -957,7 +957,7 @@ begin_credits("Credits");
end_section();
begin_section("German");
add_person("Simon Sawatzki", "SimSaw", "");
- add_person("Lothar Serra Mari", "Lothar93", "");
+ add_person("Lothar Serra Mari", "Lothar93", "(retired)");
end_section();
begin_section("Hungarian");
add_person("Alex Bevilacqua", "", "");
diff --git a/gui/credits.h b/gui/credits.h
index 7164e3e2dc..37c5a7bd95 100644
--- a/gui/credits.h
+++ b/gui/credits.h
@@ -493,6 +493,7 @@ static const char *credits[] = {
"C1""German",
"C0""Simon Sawatzki",
"C0""Lothar Serra Mari",
+"C2""(retired)",
"",
"C1""Hungarian",
"C0""Alex Bevilacqua",