[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