From 7476277c06dd30d39da92ac7057084650de335e2 Mon Sep 17 00:00:00 2001
From: Max Horn
Date: Thu, 9 May 2019 18:57:50 +0200
Subject: CREDITS: Added Max Horn to GUI credits

The GUI system was originally written completely by me, as is easily
verifiable by inspecting the commit logs of the gui subdirectory, or e.g.
specific files like gui/widget.cpp.
---
 devtools/credits.pl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'devtools')

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)");
-- 
cgit v1.2.3