[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Bug#912788: fixed in ghc 8.8.3-1~exp1


On Thu 09 Apr 2020 at 08:26PM -04, Sandro Tosi wrote:

> a couple of weeks have passed now, any progress on this effort?

I started it but was not able to do a lot and others have not been
active, I'm afraid.

Sean Whitton

Attachment: signature.asc
Description: PGP signature

Reply to: