@coqbot: backport to v8.15 (request inclusion column: https://github.com/coq/coq/projects/46#column-18257229; backported column: https://github.com/coq/coq/projects/46#column-18257225); backport to v8.16 (request inclusion column: https://github.com/coq/coq/projects/48#column-18721026; backported column: https://github.com/coq/coq/projects/48#column-18721028); move rejected PRs to: https://github.com/coq/coq/milestone/40.
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.