diff --git a/doc/THANKS b/doc/THANKS index 583204813..461487128 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -60,6 +60,9 @@ Ivan Giacomelli for suggesting a minor enhancement for reviewing the documentation +Oliver Gruskovnjak + for providing me with a minor patch + Davide Guerri for suggesting an enhancement @@ -97,6 +100,7 @@ Guido Landi Nico Leidecker for providing me with feedback on a few features + for reporting a couple of bugs Gabriel Lima for reporting a couple of bugs