diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/credits.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/credits.pl b/tools/credits.pl index f5bea402b0..d6e807e259 100755 --- a/tools/credits.pl +++ b/tools/credits.pl @@ -640,8 +640,10 @@ begin_credits("Credits"); end_section(); begin_section("Mohawk"); + add_person("Bastien Bouclet", "bgk", ""); add_person("Matthew Hoops", "clone2727", ""); add_person("Filippos Karapetis", "[md5]", ""); + add_person("Alyssa Milburn", "fuzzie", ""); add_person("Eugene Sandulenko", "sev", ""); add_person("David Turner", "digitall", ""); end_section(); |