Skip to content

Adapt to https://github.com/coq/coq/pull/19149#424

Merged
samuelgruetter merged 1 commit intomit-plv:masterfrom proux01:coq_19149Jun 10, 2024

Commits

Commits on Jun 9, 2024