Skip to content

Adapt to https://github.com/coq/coq/pull/18590#203

Merged
proux01 merged 1 commit intomasterfrom coq_18590Feb 1, 2024

Commits

Commits on Feb 1, 2024