From 1d8953ebdb7b2e09e61ef861caf4331632c103cc Mon Sep 17 00:00:00 2001 From: Miroslav Stampar Date: Sun, 8 Aug 2010 21:25:21 +0000 Subject: [PATCH] update of THANKS file --- doc/THANKS | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/THANKS b/doc/THANKS index 2b0a015a4..fdfb26210 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -346,6 +346,9 @@ Thierry Zoller fufuh for reporting a bug when running on Windows +m4l1c3 + for reporting a minor bug + mariano for reporting a bug