Skip to content

Only use AddIgsToIgs when appropriate, also use SubgroupByIgsAndIgs - #281

Merged
stertooy merged 2 commits into
gap-packages:masterfrom
stertooy:fix-igs-to-igs
Oct 21, 2026
Merged

stertooy merged 2 commits into
gap-packages:masterfrom
stertooy:fix-igs-to-igs

Merge branch 'gap-packages:master' into fix-igs-to-igs

2f3cf6c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build manuals
succeeded Oct 21, 2026 in 2m 0s