Adapt to https://github.com/math-comp/math-comp/pull/1545#30

proux01 merged 1 commit intomasterrocq-community/bits:masterfrom

mc1545rocq-community/bits:mc1545Copy head branch name to clipboard