El 27 ene 2022 20:34:16, Joachim Breitner <mail@joachim-breitner.de> escribió:

Hi,

Am Donnerstag, dem 27.01.2022 um 13:28 +0000 schrieb Alejandro Serrano
Mena:
Two weeks instead of one have passed, and nobody has raised
objections.

@Joachim: should I merge it, or are you the one doing that?

just done.

Looks like you have successfully concluded the two PRs that were on
your plate when you announced your resignation. Is that still your plan
and we have to bid you farewell now?

Unfortunately the world hasn’t changed enough in this time for me to have the required free time, so I still think that’s the best outcome for me. But hey, maybe in a few years time I’ll be asking to be part of the Committee again!

Regards,

Alejandro

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