Adapt to https://github.com/coq/coq/pull/17716#467
Merged
gares merged 1 commit intoLPCIC:coq-masterfrom Jun 15, 2023
Merged
Adapt to https://github.com/coq/coq/pull/17716#467gares merged 1 commit intoLPCIC:coq-masterfrom
gares merged 1 commit intoLPCIC:coq-masterfrom
