Skip to content

Require GAP >= 4.13 - #13

Merged
fingolfin merged 1 commit into
masterfrom
mh/update-gap-req
Jul 31, 2026
Merged

Require GAP >= 4.13#13
fingolfin merged 1 commit into
masterfrom
mh/update-gap-req

Require GAP >= 4.13

236ecd1
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 31, 2026 in 0s

Coverage not affected when comparing 07eea02...236ecd1

View this Pull Request on Codecov

Coverage not affected when comparing 07eea02...236ecd1

View more details on Codecov