diff --git a/doc/CREDITS b/doc/CREDITS index 18e3ffe73..381925766 100644 --- a/doc/CREDITS +++ b/doc/CREDITS @@ -149,6 +149,7 @@ Thanks to Stephan Lesch Tim Vanderhoek Todd Elliott + Johan Kotlinski for bug reports and suggestions.