diff --git a/doc/credits.html b/doc/credits.html index dece5f312f0..8cbb332bacc 100755 --- a/doc/credits.html +++ b/doc/credits.html @@ -39,10 +39,10 @@ with the prototypes and making many useful suggestions along the way


Other contributors

-

Thanks to all of you contributing ideas and code.

+

Thanks to all of you contributing ideas and code, especially Dustin Rue, James Miller, Matt Hope, Petri Asikainen ... and also: