8.17.1
Closed Jun 27, 2023
100% complete
@coqbot: backport to v8.17 (request inclusion column: https://github.com/coq/coq/projects/56#column-19380575; backported column: https://github.com/coq/coq/projects/56#column-19380578; move rejected PRs to: https://github.com/coq/coq/milestone/47).
@coqbot: backport to v8.17 (request inclusion column: https://github.com/coq/coq/projects/56#column-19380575; backported column: https://github.com/coq/coq/projects/56#column-19380578; move rejected PRs to: https://github.com/coq/coq/milestone/47).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.