diff options
Diffstat (limited to 'devtools')
-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 c655e4ab1c..968a24281e 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -1038,6 +1038,7 @@ begin_credits("Credits"); end_section(); begin_section("GUI"); + add_person("Max Horn", "Fingolfin", "(retired)"); add_person("Vicent Marti", "tanoku", ""); add_person("Eugene Sandulenko", "sev", ""); add_person("Johannes Schickel", "LordHoto", "(retired)"); |