Fix garbled result produced by CosetLeadersMatFFE#6325

fingolfin wants to merge 1 commit intomastergap-system/gap:masterfrom

codex/issue-5923gap-system/gap:codex/issue-5923Copy head branch name to clipboard