diff options
| -rwxr-xr-x | devtools/credits.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/credits.pl b/devtools/credits.pl index 648b0c0a5b..fc10f50bfb 100755 --- a/devtools/credits.pl +++ b/devtools/credits.pl @@ -1118,7 +1118,7 @@ begin_credits("Credits"); "freewaring the game."); add_paragraph( - "David P. Gray from Gray Design Associate for sharing the source code ". + "David P. Gray from Gray Design Associates for sharing the source code ". "of the Hugo trilogy."); add_paragraph( |