From 5053c2f685b99fbbbbb6823d679e0498a669c015 Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Thu, 5 Jan 2012 10:28:54 +0000
Subject: [PATCH] update of doc/THANKS

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

diff --git a/doc/THANKS b/doc/THANKS
index 8d12c9495..ea21a8c41 100644
--- a/doc/THANKS
+++ b/doc/THANKS
@@ -296,6 +296,9 @@ Gabriel Lima <pato@bugnet.com.br>
 Svyatoslav Lisin <sel@3d-tech.ru>
     for suggesting a minor feature
 
+Miguel Lopes <theoverblue@gmail.com>
+    for reporting a minor bug
+
 Truong Duc Luong <luongductruong@gmail.com>
     for reporting a minor bug