diff --git a/doc/THANKS b/doc/THANKS index 0a423007b..5fbc140d0 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -257,6 +257,9 @@ Alejo Murillo Moya for reporting a minor bug for suggesting a few features +Yonny Mutai + for reporting a minor bug + Roberto Nemirovsky for pointing me out some enhancements