Adapt to https://github.com/rocq-prover/rocq/pull/21609#509

proux01 wants to merge 1 commit into

mit-plv:mastermit-plv/bedrock2:masterfrom

proux01:rocq21478proux01/bedrock2:rocq21478Copy head branch name to clipboard