diff --git a/doc/THANKS b/doc/THANKS index 8b912e5bf..44c3d2a8c 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -118,6 +118,9 @@ Ivan Giacomelli for suggesting a minor enhancement for reviewing the documentation +Nico Golde + for reporting a couple of bugs + Oliver Gruskovnjak for reporting a bug for providing me with a minor patch