Names I'd forgotten

diff --git a/doc/credits.html b/doc/credits.html
index ccbc01f94acbe83cf2890c9aa3d63dc593d501d1..4abacd04e0231ff763905b65dda71c8523d5b0fc 100755 (executable)
--- a/doc/credits.html
+++ b/doc/credits.html
@@ -64,8 +64,8 @@
    with constructive discussion and especially code.  This list is long \r
    and always changing, but some names include (in no particular order):\r
    <UL> \r
-   Petri Asikainen, Tom Murdock, Matt Hope, James Miller, Sébastien Namèche,\r
-   Dustin Rue, Giovanni Tummarello, Holger Schadeck, Mitsuhiro Yoshida,\r
+   Petri Asikainen, Art Lader, Tom Murdock, Matt Hope, James Miller, Sébastien Namèche,\r
+   Dustin Rue, Giovanni Tummarello, Holger Schadeck, John Windmueller, Mitsuhiro Yoshida,\r
    Mark Kimes ...\r
    </UL>\r
 </P>\r