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

Merged

JasonGross merged 1 commit intomit-plv:masterfrom SkySkimmer:ci-relevance

Nov 13, 2023

+21-3

Commits on Nov 13, 2023

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

SkySkimmer
authored and
JasonGross
committed