ndmitchell/hoogle — pull request #18 by horus (2013-04-18 02:03:50+00:00)
Title: Make downloaders quieter

Sorry for that, I messed up my previous git repo a little, so I opened a new pull request.
Everyone will be happier with a cleaner commit message.

Ref: PR#17