Adapt to https://github.com/rocq-prover/rocq/pull/21947#49

tchajed merged 1 commit into

masterrocq-community/atbr:masterfrom

rocq21947rocq-community/atbr:rocq21947Copy head branch name to clipboard