From 4150fadb05cf18cab70678df61aa2818c3ca4d0e Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Wed, 14 Dec 2011 14:58:51 +0000 Subject: [PATCH] minor update of THANKS file --- doc/THANKS | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/THANKS b/doc/THANKS index 769ff4e97..764889f28 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -245,6 +245,9 @@ Sven Klemm Anant Kochhar for providing with feedback on the user's manual +Dmitriy Kononov + for reporting a minor bug + Alexander Kornbrust for reporting a couple of bugs