Closed Jul 4, 2022
No due date
•Closed @coqbot: backport to v8.14 (request inclusion column: https://github.com/coq/coq/projects/45#column-14668860; backported column: https://github.com/coq/coq/projects/45#column-14668866; move rejected PRs to: https://github.com/coq/coq/milestone/35).
100% complete
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.