8.11+beta1
8.11 will branch off on 2019/11/01. Any feature PR not merged by then in this milestone will be moved out to the 8.12+alpha milestone.
@coqbot: backport to v8.11 (request inclusion column: https://github.com/coq/coq/projects/35#column-6994578; backported column: https://github.com/coq/coq/projects/35#column-6994575; move rejected PRs to: https://github.co…
8.11 will branch off on 2019/11/01. Any feature PR not merged by then in this milestone will be moved out to the 8.12+alpha milestone.
@coqbot: backport to v8.11 (request inclusion column: https://github.com/coq/coq/projects/35#column-6994578; backported column: https://github.com/coq/coq/projects/35#column-6994575; move rejected PRs to: https://github.com/coq/coq/milestone/23).
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.