diff --git a/doc/THANKS b/doc/THANKS index 44c3d2a8c..2de1c89a2 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -255,6 +255,7 @@ Anton Mogilin Anastasios Monachos for providing some useful data + for suggesting a feature Alejo Murillo Moya for reporting a minor bug