Skip to content

1.1.5

Compare
Choose a tag to compare
@james-d-mitchell james-d-mitchell released this 13 Jan 10:26
· 24 commits to main since this release

This is a minor release fix a bug in the detection of gaplint.yml files, reported in:

gap-system/gap#5316
gap-system/gap#5321