[ghc-steering-committee] Please review #396: Defaulting plugins, Shepherd: Vladislav

Joachim Breitner mail at joachim-breitner.de
Fri Mar 19 18:27:37 UTC 2021


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-defaulting-plugins.rst

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 at joachim-breitner.de
  http://www.joachim-breitner.de/




More information about the ghc-steering-committee mailing list