Bug#853285: closed by Clint Adams (Bug#853285: fixed in ghc 8.0.2-3)

[Gianfranco Costamagna]

Hello,


>Here's an updated patch for 8.0.2-9.


committed (I don't even know how to test it properly) on git, but obviously not 
uploaded.
(I don't think it is worth an upload)

Please forward the patches upstream whenever possible!
thanks

G.