Hi, Am Mittwoch, den 01.05.2019, 20:51 +0200 schrieb Joachim Breitner:
There are three possible changes to consider, plus the option of doing nothing. The options are
A. All discussion on GitHub. B. Shepherd discussion looming rejection with the authors first. AB. The combination of the two above 0. Do nothing.
Votes so far: AB > B > A > 0 Joachim, Simon, Simon, Chris, Eric, Richard AB > A > B > 0 Vitaly, Iavor B > 0 > A > AB Manuel No vote from Ben, but I think we can go ahead with AB, which is already ready to be merged at https://github.com/ghc-proposals/ghc-proposals/pull/225 Everybody who enjoys copy editing and improving phrasing is invited to refine that text (just commit directly to the branch) or discuss minor tweaks there. I’ll merge it in a few days. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/