Adapt to coq/coq#19620 (Global.push_context_set no strict argument)#1104

Merged

ppedrot merged 1 commit intoMetaCoq:mainfrom SkySkimmer:push-context-strict

Oct 14, 2024

+3-3

Commits on Oct 1, 2024

Adapt to coq/coq#19620 (Global.push_context_set no strict argument)
SkySkimmer
committed