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 83cb4a76bd..1931cea384 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -817,6 +817,7 @@ begin_credits("Credits"); end_section(); begin_section("SCI"); + add_person("Chris Benshoof", "sluicebox", ""); add_person("Greg Frieger", "_FRG_", ""); add_person("Paul Gilbert", "dreammaster", ""); add_person("Max Horn", "Fingolfin", "(retired)"); |