Coq 8.15 branch date

A branch for Coq 8.15 will be created and enter feature freeze on 2021-11-15.
Pull requests other than bugfixes and documentation updates which are not merged to master before then will not be available in 8.15 barring exceptional circumstances.

If your pull request is blocked by lack of reviewer activity or if you need help to finish it, please push for it in coq calls or on zulip, or risk missing inclusion in 8.15.

If your pull request is milestoned for 8.15+rc1 but you believe it won't be merged it time, please remove the milestone.

3 Likes