diff --git a/doc/THANKS b/doc/THANKS index 986a5ecf8..3c4962648 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -212,7 +212,7 @@ Simone Onofri Windows Shaohua Pan - for reporting a minor bug + for reporting few bugs for suggesting a feature Antonio Parata