Adapt to coq/coq#18280 (case relevance outside case info)#368

Merged

ppedrot merged 1 commit intorocq-archive:mainfrom SkySkimmer:ci-relevance

Nov 13, 2023

+3-3

Commits on Nov 9, 2023

Adapt to coq/coq#18280 (case relevance outside case info)
SkySkimmer
committed