Re: [ghc-steering-committee] Amendment #293; recommendation: accept

20 Nov 2019


      Hi,

Am Mittwoch, den 20.11.2019, 15:10 +0000 schrieb Richard Eisenberg:
...
The changes are well summarised in Vlad's comment at https://github.com/ghc-proposals/ghc-proposals/pull/293#issue-341038277
based on that: 👍
-- 
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/