From 7d12dbff41f0b3f469c8924dbbcefea07c6b3d03 Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Fri, 5 Nov 2010 11:36:43 +0000
Subject: [PATCH] update of THANKS

---
 doc/THANKS | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/THANKS b/doc/THANKS
index f4e5b70f1..debc9d1e5 100644
--- a/doc/THANKS
+++ b/doc/THANKS
@@ -107,6 +107,9 @@ Alan Franzoni <alan.franzoni@gmail.com>
 Daniel G. Gamonal <lgrecol@gmail.com>
     for reporting a minor bug
 
+Marcos Mateos Garcia <mmateos@germinus.com>
+    for reporting a minor bug
+
 Ivan Giacomelli <truemilk@insiberia.net>
     for reporting a bug
     for suggesting a minor enhancement