Skip to content

AddToIgs improvements 3: skip the adjust step when it is not needed - #237

Merged
fingolfin merged 3 commits into
gap-packages:masterfrom
stertooy:igs-improv-3
Oct 17, 2026
Merged

fingolfin merged 3 commits into
gap-packages:masterfrom
stertooy:igs-improv-3

Merge branch 'master' into igs-improv-3

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

Annotations

1 notice
latest
succeeded Oct 17, 2026 in 2m 18s