Unmerged Patch: 3358

Ben Gamari ben at well-typed.com
Tue Jul 21 19:07:58 UTC 2020



On July 21, 2020 1:22:52 PM EDT, chessai <chessai1996 at gmail.com> wrote:
>Ben,
>
>I am behind on some details, but if it is blocked on text, is there
>some
>way I can help?
>
I think we are all clear here; the text branch was merged and I have now merged !3358 to master.

Cheers,

- Ben

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.


More information about the ghc-devs mailing list