diff --git a/doc/THANKS.md b/doc/THANKS.md index c900d4ae6..2746647b2 100644 --- a/doc/THANKS.md +++ b/doc/THANKS.md @@ -491,6 +491,9 @@ Sumit Siddharth, Andre Silva, * for reporting a bug +Duarte Silva +* for reporting a couple of bugs + M Simkin, * for suggesting a feature