Skip to content
Back to milestones

9.2+rc1

New issue
Closed
No due date
•Closed Apr 23, 2026

@coqbot: backport to v9.2 (move rejected PRs to: https://github.com/coq/coq/milestone/69)

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.