From 7b1021d10053c81d880790bbcfa8dd8f949e367d Mon Sep 17 00:00:00 2001
From: Miroslav Stampar <miroslav.stampar@gmail.com>
Date: Mon, 21 Mar 2011 13:18:00 +0000
Subject: [PATCH] minor update of THANKS file

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

diff --git a/doc/THANKS b/doc/THANKS
index 43d0d198a..ee99259ee 100644
--- a/doc/THANKS
+++ b/doc/THANKS
@@ -136,6 +136,7 @@ Davide Guerri <d.guerri@caspur.it>
 
 David Guimaraes <skysbsb@gmail.com>
     for reporting several bugs
+    for suggesting an enhancement
 
 Chris Hall <chris.hall@mod10.net>
     for coding the prettyprint.py library