gdoteof/docker-ghc — pull request #1 by zimbatm (2014-09-15 13:54:30+00:00)
Title: Misc changes

Two small improvements to the image