GAP.jl 0.7.4 released
17 Jan 2022Today GAP.jl 0.7.4 has been released.
Closed issues:
- Silence banner of GAP.jl when loaded from another package (#765)
Merged pull requests:
- Better banner suppression logic (#768) (@fingolfin)
- Rewrite anon function arg for atexit as a do-block (#769) (@fingolfin)
- CI: switch to codecov/codecov-action@v2 (#770) (@fingolfin)