From f7ee4d578ef017c0e3ea90ff4a2184cf5a7ce332 Mon Sep 17 00:00:00 2001 From: Bernardo Damele Date: Tue, 19 May 2009 15:56:30 +0000 Subject: [PATCH] Updated THANKS file --- doc/THANKS | 4 ++++ 1 file changed, 4 insertions(+) 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