Closed Dec 1, 2022
No due date
•Closed @coqbot: backport to v8.9 (request inclusion column: https://github.com/coq/coq/projects/29#column-3371618; backported column: https://github.com/coq/coq/projects/29#column-3475718; move rejected PRs to: https://github.com/coq/coq/milestone/16).
99% complete
List view
0 issues of 1 selected