diff --git a/doc/THANKS b/doc/THANKS index 9c05edba4..67ccfe0ac 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -100,7 +100,7 @@ Davide Guerri for suggesting an enhancement David Guimaraes - for reporting a bug + for reporting a few bugs Kristian Erik Hermansen for reporting a bug