diff options
Diffstat (limited to 'devtools/credits.pl')
-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 0cbd549f74..fee7c0bb78 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -668,6 +668,7 @@ begin_credits("Credits"); add_person("Alyssa Milburn", "fuzzie", ""); add_person("Eugene Sandulenko", "sev", ""); add_person("David Turner", "digitall", ""); + add_person("David Fioramonti", "dafioram", ""); end_section(); begin_section("Mortevielle"); |