Adapt to coq/coq#19741 (STM worker spawning doesn't use Sys.argv directly)#428

Merged

SkySkimmer merged 1 commit intorocq-archive:mainfrom SkySkimmer:async-positive

Oct 24, 2024

+4-2

Commits on Oct 23, 2024

Adapt to coq/coq#19741 (STM worker spawning doesn't use Sys.argv directly)
SkySkimmer
committed