Release 9.3.0 and critical bugs (Enrico, 10m) (talk about 9.2.1 as well)
Missing info on the governance page of rocq-prover.org
Roles
Chairman: Nicolas Tabareau
Secretary: Nicolas Tabareau
Attending: Yann Leray, Nicolas Tabareau, Enrico Tassi
Notes
9.3.0 is almost ready. Needs to wait for 3 important PRs (inconsistency issues) and release of VsRocq compatible with 9.3
9.2.1 will also be prepared and out together with 9.3.0.
We discuss two missing pieces of info on the governance page of rocq-prover.org: mention to the Rocq consortium (with a link) and mention of the contribution guideline (with a link) in a section before the voting process. Enrico will prepare a PR for this soon.