Hi, if you have not voted on this issue yet, please do so until tomorrow, if you can. See https://github.com/ghc-proposals/ghc-proposals/pull/87#issuecomment-50271783... for the list of options. Also, this PR shows that our process needs more tuning, maybe with clear deadline for the various stages, as Simon PJ has previously suggested. Cheers, Joachim Am Mittwoch, den 19.06.2019, 10:05 +0200 schrieb Joachim Breitner:
Dear Committee,
because the discussion wasn’t leading anywhere anymore, we have called a vote on the ExtraCommas proposal: https://github.com/ghc-proposals/ghc-proposals/pull/87
Please cast your vote!
I will close the vote when all of us have voted, or after Sunday (June 26, one week of voting).
(It seems that the general public also felt compelled to vote, and out of curiosity, I’ll tally these votes as well. I’m curious how representative we are.)
Going into the future, we will have to decide if we want to do votes on GitHub or better here on the mailing list.
Cheers, Joachim
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/