Re: [ghc-steering-committee] #216: Qualified Do again, recommendation: accept the alternative

El lun., 11 may. 2020 a las 15:20, Richard Eisenberg () escribió:

On May 11, 2020, at 1:12 PM, Joachim Breitner wrote:

how about we let the proposal author decide on this small point? This way we don't have to come to agreement, and the authors get back some sense of ownership of this proposal, after all the back-and-forth with the comittee?

How delightfully diplomatic. Yes, please.

I couldn't have expressed it better. I think Joachim's proposal is perfect :)