Closed zickgraf closed 6 months ago
@zickgraf I'll be happy enough to merge the PR's you've raised in Digraphs and Semigroups, but I'm reluctant to do that before this PR is merged. I'll mention this in those PR's also
As expected, the tests are now failing with GAP master because https://github.com/gap-system/gap/pull/5418 was merged, and this PR should hopefully fix the issues :-) (I have rebased to retrigger the CI but the checks require approval.)
as a preparation for https://github.com/gap-system/gap/pull/5418