Release of Combi-1.1.0#128

hivert wants to merge 1 commit into

math-comp:mastermath-comp/math-comp.github.io:masterfrom

hivert:masterhivert/math-comp.github.io:masterCopy head branch name to clipboard