j
k
j a
j l
Mathieu Boespflug 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
Attachments:
Back to the thread
Back to the list