18 Jan
2021
18 Jan
'21
3:15 a.m.
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@joachim-breitner.de http://www.joachim-breitner.de/