8.20.0
Due by September 04, 2024
83% complete
@coqbot: backport to v8.20 (move rejected PRs to: https://github.com/coq/coq/milestone/60).
@coqbot: backport to v8.20 (move rejected PRs to: https://github.com/coq/coq/milestone/60).