From b9438c3e14b7b8893d5471fd1931c307d80ac541 Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Mon, 1 Aug 2011 10:18:00 +0000 Subject: [PATCH] doc/THANKS update --- doc/THANKS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/THANKS b/doc/THANKS index 43c17a06d..9f07b738a 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -98,7 +98,7 @@ Alessandro Curio for reporting a minor bug Alessio Dalla Piazza - for reporting a minor bug + for reporting a couple of bugs Stefano Di Paola for suggesting good features