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

Merged

ppedrot merged 1 commit intocoq-community:masterfrom SkySkimmer:ci-relevance

Nov 13, 2023

+5-6

Commits on Nov 9, 2023

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