will there be one? @Pierre Roux @Guillaume Melquiond
we don't have a milestone so we can't accumulate candidate bugfixes
Too soon to tell, but there should certainly be a milestone. Not sure what went wrong.
Actually, I know what went wrong. It is still a bit unclear how to label milestones so that work properly with the new project system.
Sorry this is my fault for not documenting this yet.
I've just created the missing milestone and copied the description from 8.20.0.
Thanks, I realize it may also be me who misred " Ensure that there exists a milestone for the following version" as "major version", I try to precise it in https://github.com/coq/coq/pull/19531
BTW, @Théo Zimmermann when you have some time, could you check / fix the release process doc about the coqbot-managed project in https://github.com/coq/coq/pull/19531
done
Last updated: Oct 13 2024 at 01:02 UTC