From 37d3b3adda4d645dda687c99cbdf229f18179f04 Mon Sep 17 00:00:00 2001 From: Bernardo Damele Date: Wed, 20 May 2009 09:58:22 +0000 Subject: [PATCH] Updated THANKS --- doc/THANKS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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