Dear Coq developers,
with our release manager hat on we communicate the following
dates:
Freeze: 16 November
Beta: 7 December
Final: 7 January
Given the current working constraints, we'd love to keep the number of
PRs to backport as low as possible: ideally only user facing bugs and
doc updates.
Best regards,