19 Mar
2021
19 Mar
'21
2:27 p.m.
Dear Committe, Defaulting Plugins has been proposed by Andrei Barbu https://github.com/ghc-proposals/ghc-proposals/pull/396 https://github.com/abarbu/ghc-proposals/blob/master/proposals/0000-defaultin... I propose Vladislav, as our newest member, to shepherd this. Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process Thanks, Joachim -- -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/