8.15.1
Closed Mar 22, 2022
100% complete
@coqbot: backport to v8.15 (request inclusion column: https://github.com/coq/coq/projects/46#column-17134910; backported column: https://github.com/coq/coq/projects/46#column-17476129; move rejected PRs to: https://github.com/coq/coq/milestone/40).
@coqbot: backport to v8.15 (request inclusion column: https://github.com/coq/coq/projects/46#column-17134910; backported column: https://github.com/coq/coq/projects/46#column-17476129; move rejected PRs to: https://github.com/coq/coq/milestone/40).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.