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