Adapt to https://github.com/coq/coq/pull/19530#269
Open
proux01 wants to merge 1 commit intoDeepSpec:masterfrom
Open
Adapt to https://github.com/coq/coq/pull/19530#269proux01 wants to merge 1 commit intoDeepSpec:masterfrom
proux01 wants to merge 1 commit intoDeepSpec:masterfrom
