Skip to content
Back to milestones

8.12+beta1

New issue
Closed
Due by June 1, 2020
•Closed Jul 4, 2022

@coqbot: backport to v8.12 (request inclusion column: https://github.com/coq/coq/projects/40#column-9243780; backported column: https://github.com/coq/coq/projects/40#column-9243781; move rejected PRs to: https://github.com/coq/coq/milestone/28).

100% complete

List view

0 issues of 0 selected

    There are no open issues in this milestone

    Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.