diff --git a/doc/THANKS b/doc/THANKS index 461487128..0732ae370 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -60,7 +60,7 @@ Ivan Giacomelli for suggesting a minor enhancement for reviewing the documentation -Oliver Gruskovnjak +Oliver Gruskovnjak for providing me with a minor patch Davide Guerri