[ghc-steering-committee] Proposal #274: Quicklook impredicativity, recommendation: accept

[Joachim Breitner]

Hi,

Am Montag, den 15.06.2020, 09:52 +0200 schrieb Spiwack, Arnaud:
> Joachim: I have marked the proposal as accepted, but I forgot the process after that, again. Who is in charge of merging?

I’ll take care of it.

Cheers,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/