Stream: Coq devs & plugin devs

Topic: release process

view this post on Zulip Gaëtan Gilbert (Oct 11 2021 at 10:13):

is everything in the checklist at or are there additional parts to the process?

view this post on Zulip Guillaume Melquiond (Oct 11 2021 at 11:35):

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: Dec 05 2023 at 04:01 UTC