2 Nov
2020
2 Nov
'20
8:42 a.m.
Hi, Am Montag, den 02.11.2020, 13:34 +0000 schrieb Simon Marlow:
Suggestion: "... the committee will use that data to help decide which extensions should be part of GHC2021". Just trying to avoid any accidental impression that the result of the poll will be directly used without any further consideration.
doesn't “take into account” express precisely that? Anyways, too late now :-) Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/