aboutsummaryrefslogtreecommitdiff
path: root/devtools
diff options
context:
space:
mode:
Diffstat (limited to 'devtools')
-rwxr-xr-xdevtools/credits.pl1
1 files changed, 1 insertions, 0 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl
index 0e3a20b02d..5daf232b2b 100755
--- a/devtools/credits.pl
+++ b/devtools/credits.pl
@@ -957,6 +957,7 @@ begin_credits("Credits");
end_section();
begin_section("Spanish");
add_person("Tomás Maidagan", "", "");
+ add_person("Jordi Vilalta Prat", "jvprat", "");
end_section();
begin_section("Swedish");
add_person("Hampus Flink", "", "");