[ghc-steering-committee] #409: Exportable named defaults, Recommendation: Partial Accept
Joachim Breitner
mail at joachim-breitner.de
Wed May 19 18:46:08 UTC 2021
Hi,
Am Mittwoch, den 19.05.2021, 16:17 +0000 schrieb Richard Eisenberg:
> I'm worried that the "out of scope" label derailed the plugins
> proposal, as I do not believe that further work on that idea (even
> though it's already implemented!) has been pursued.
we could rename it to “no-decision-needed” or something like that?
Cheers,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list