8.18+rc1
Closed Jul 24, 2023
100% complete
@coqbot: backport to v8.18 (request inclusion column: https://github.com/coq/coq/projects/57#column-19552391; backported column: https://github.com/coq/coq/projects/57#column-19552392; move rejected PRs to: https://github.com/coq/coq/milestone/52).
@coqbot: backport to v8.18 (request inclusion column: https://github.com/coq/coq/projects/57#column-19552391; backported column: https://github.com/coq/coq/projects/57#column-19552392; move rejected PRs to: https://github.com/coq/coq/milestone/52).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.