[ghc-steering-committee] #380 GHC2021: How to proceed?
Joachim Breitner
mail at joachim-breitner.de
Mon Jan 18 08:15:03 UTC 2021
Hi,
Am Montag, den 21.12.2020, 19:50 +0000 schrieb Simon Peyton Jones via
ghc-steering-committee:
> I think the period from now to 4 Jan doesn't count. Then we should allow a
> fortnight, say to 18 Jan (my birthday).
that’s today.
Happy Birthday Simon! I am very happy to have around in all things GHC,
and I wish you an great next year.
Unless someone shouts stop really soon now, I will finalize the
proposal (e.g. remove text that is less useful in the final version),
merge and announce later today.
Cheers,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list