kazu-yamamoto/ghc-mod — pull request #355 by DanielG (2014-08-29 17:30:50+00:00)
Title: Release v5.0.1.2

I suggest we use this cherry-picked branch for v5.0.1.2 as master currently contains some API breaking changes.

@kazu-yamamoto Did I miss any important changes? If not can you do the upload?