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

Joachim Breitner mail at joachim-breitner.de
Wed May 13 09:25:04 UTC 2020


Hi,

Am Montag, den 11.05.2020, 14:20 +0100 schrieb Richard Eisenberg:
> How delightfully diplomatic. Yes, please.

thanks! Done:
https://github.com/ghc-proposals/ghc-proposals/pull/216#issuecomment-627864386

Cheers,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/




More information about the ghc-steering-committee mailing list