3.0.13
·
912 commits
to main
since this release
This version contains some minor updates for compatibility GAP 4.9, and some
fixes for some minor issues.