is everything in the checklist at https://github.com/coq/coq/issues/14893 or are there additional parts to the process?
No, that is about it. At this point, I am just waiting for the release notes, assuming no new packaging bugs were reported.
Last updated: Oct 13 2024 at 01:02 UTC