8.16.0
Closed Sep 5, 2022
100% complete
@coqbot: backport to v8.16 (request inclusion column: https://github.com/coq/coq/projects/48#column-18826384; backported column: https://github.com/coq/coq/projects/48#column-18826385; move rejected PRs to: https://github.com/coq/coq/milestone/44).
@coqbot: backport to v8.16 (request inclusion column: https://github.com/coq/coq/projects/48#column-18826384; backported column: https://github.com/coq/coq/projects/48#column-18826385; move rejected PRs to: https://github.com/coq/coq/milestone/44).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.