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 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", "", ""); |
