diff --git a/doc/THANKS b/doc/THANKS index 43d0d198a..ee99259ee 100644 --- a/doc/THANKS +++ b/doc/THANKS @@ -136,6 +136,7 @@ Davide Guerri David Guimaraes for reporting several bugs + for suggesting an enhancement Chris Hall for coding the prettyprint.py library