diff --git a/doc/THANKS b/doc/THANKS index 0f7f65b79..0cb9595f7 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -423,9 +423,6 @@ Andrea Rossi for reporting a minor bug for suggesting a feature -Mathew Rowley - for reporting a bug - Frederic Roy for reporting a couple of bugs