minor update of THANKS file

2026-10-12 02:22:55 +00:00 · 2011-03-21 13:18:00 +00:00
parent b5c9ccb755
commit 7b1021d100
1 changed files with 1 additions and 0 deletions
@@ -136,6 +136,7 @@ Davide Guerri <[email protected]>

 David Guimaraes <[email protected]>
    for reporting several bugs
+    for suggesting an enhancement

 Chris Hall <[email protected]>
    for coding the prettyprint.py library