diff --git a/doc/CREDITS b/doc/CREDITS index 3d75942be..c806ee5e9 100644 --- a/doc/CREDITS +++ b/doc/CREDITS @@ -75,6 +75,7 @@ Thanks to Chris Ward Tim Vanderhoek Bill Craig + Greg King for bug reports and suggestions.