8.19+rc1
Closed Dec 18, 2023
100% complete
@coqbot: backport to v8.19 (request inclusion column: https://github.com/coq/coq/projects/58#column-19697055; backported column: https://github.com/coq/coq/projects/58#column-19697056; move rejected PRs to: https://github.com/coq/coq/milestone/55).
@coqbot: backport to v8.19 (request inclusion column: https://github.com/coq/coq/projects/58#column-19697055; backported column: https://github.com/coq/coq/projects/58#column-19697056; move rejected PRs to: https://github.com/coq/coq/milestone/55).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.