8.13+beta1
Closed Dec 7, 2020
100% complete
Freeze 15/11/2020
@coqbot: backport to v8.13 (request inclusion column: https://github.com/coq/coq/projects/43#column-11706946; backported column: https://github.com/coq/coq/projects/43#column-11706949; move rejected PRs to: https://github.com/coq/coq/milestone/32).
Freeze 15/11/2020
@coqbot: backport to v8.13 (request inclusion column: https://github.com/coq/coq/projects/43#column-11706946; backported column: https://github.com/coq/coq/projects/43#column-11706949; move rejected PRs to: https://github.com/coq/coq/milestone/32).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.