Re: [ghc-steering-committee] Remove TypeOperators => NoStarIsType "migration" (#146); Recommendation: accept

Hi, Am Montag, den 25.06.2018, 10:19 -0400 schrieb Ben Gamari:

Consequently, my recommendation is to accept the modified proposal.

sounds good to me. Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/