github-actions
released this
13 Jun 12:38
·
100 commits
to master
since this release
For an overview of changes in GAP 4.13.1 see the CHANGES.md file.