diff --git a/doc/THANKS b/doc/THANKS index cd5266843..4afbb7c19 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -63,6 +63,9 @@ Pierre Chifflier and Mark Hymers Andreas Constantinides for reporting a minor bug +Andre Costa + for reporting a minor bug + Ulises U. Cune for reporting a bug