Polymake.jl 0.5.3 released
20 Nov 2020Today Polymake.jl 0.5.3 has been released.
Closed issues:
- GitHub Pages build not triggered (#317)
- Ctrl-C quitting julia (#321)
- cannot precomile (#327)
Merged pull requests:
- gh-actions: update tagbot workflow (#329) (@benlorenz)
- move perl and ninja paths to the beginning of PATH (#331) (@benlorenz)
- polymake_jll: adjust for deps_tree change from init_block to script (#332) (@benlorenz)