[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