Adapt to https://github.com/math-comp/math-comp/pull/1456#214

t6s merged 1 commit intoaffeldt-aist:masteraffeldt-aist/infotheo:masterfrom

proux01:mc1456proux01/infotheo:mc1456Copy head branch name to clipboard