aboutsummaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/credits.pl5
1 files changed, 5 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl
index 80f4c6d487..33e9c82830 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -614,6 +614,11 @@ begin_credits("Credits");
add_person("Willem Jan Palenstijn", "wjp", "");
end_section();
+ begin_section("Gnap");
+ add_person("Arnaud Boutonné", "Strangerke", "");
+ add_person("Benjamin Haisch", "john_doe", "");
+ end_section();
+
begin_section("Gob");
add_person("Torbjörn Andersson", "eriktorbjorn", "");
add_person("Arnaud Boutonné", "Strangerke", "");