8.14+rc1
Closed Sep 16, 2021
100% complete
@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).
@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).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.