v0.10.2
GAP v0.10.2
Merged pull requests:
- Use julia 1.10 as default in CI (#957) (@lgoettgens)
- improve package handling (#958) (@ThomasBreuer)
- use a custom
Downloads.Downloader
for installing GAP packages (#961) (@ThomasBreuer)
Closed issues:
Merged pull requests:
Downloads.Downloader
for installing GAP packages (#961) (@ThomasBreuer)Closed issues: