21 Aug
2018
21 Aug
'18
7:34 p.m.
Mathieu Boespflug <m@tweag.io> writes:
The proposal would need to be accepted by the GHC Steering Committee first before that happens.
Absolutely; I just wasn't sure whether you were considering pushing for merge in the event that it was accepted. Cheers, - Ben