v4.13.0
github-actions
released this
15 Mar 13:37
·
147 commits
to master
since this release
For an overview of changes in GAP 4.13.0 see the CHANGES.md file.