diff --git a/doc/THANKS b/doc/THANKS index 43c17a06d..9f07b738a 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -98,7 +98,7 @@ Alessandro Curio for reporting a minor bug Alessio Dalla Piazza - for reporting a minor bug + for reporting a couple of bugs Stefano Di Paola for suggesting good features