On Tue, Jan 19, 2016 at 08:22:54PM +0100, Matthias Kilian wrote: > Below is a hopefully correct and more complete diff. Again without > bump because I'll also merge -main and -doc.
Famous last words. I missed the plist changes. Will send a new diff
later (at the moment i'm rebuilding ghc).
Ciao,
Kili
