Skip to content
New issue

8.18.1

No due date 97% complete

@coqbot: backport to v8.18 (request inclusion column: https://github.com/coq/coq/projects/57#column-19552391; backported column: https://github.com/coq/coq/projects/57#column-19659296; move rejected PRs to: https://github.com/coq/coq/milestone/52).

@coqbot: backport to v8.18 (request inclusion column: https://github.com/coq/coq/projects/57#column-19552391; backported column: https://github.com/coq/coq/projects/57#column-19659296; move rejected PRs to: https://github.com/coq/coq/milestone/52).