Argl, sorry, I had missed these emails.

My questions haven't been resolved in that the document didn't change to reflect the position. I suppose that the onus is doubly on me to make things better here as it partly depends on the Extension policy.

On Wed, 24 May 2023 at 11:14, Joachim Breitner <mail@joachim-breitner.de> wrote:
Hi,

Am Mittwoch, dem 24.05.2023 um 09:25 +0100 schrieb Simon Peyton Jones:
> Let's declare it accepted.  Joachim please merge.

done.

Cheers,
Joachim

--
Joachim Breitner
  mail@joachim-breitner.de
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee


--
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.