From 3f2db471f54f4084ebe21e730e5ffbeff35606f0 Mon Sep 17 00:00:00 2001
From: Bernardo Damele <bernardo.damele@gmail.com>
Date: Wed, 30 Jun 2010 13:27:07 +0000
Subject: [PATCH] Updated thanks

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

diff --git a/doc/THANKS b/doc/THANKS
index 7140d15fb..5aba568fb 100644
--- a/doc/THANKS
+++ b/doc/THANKS
@@ -340,6 +340,9 @@ fufuh <fufuh@users.sourceforge.net>
 mariano <marianoso@gmail.com>
     for reporting a bug
 
+mitchell <mitchell@tufala.net>
+    for reporting a bug
+
 pacman730 <pacman730@users.sourceforge.net>
     for reporting a bug