Skip to content

1.7.1

Latest
Compare
Choose a tag to compare
@james-d-mitchell james-d-mitchell released this 19 Feb 19:25
· 19 commits to main since this release

This is a minor release with some changes related to forthcoming changes in GAP. These changes were implemented by Fabian Zickgraf @zickgraf.