v0.11.17
·
71 commits
to master
since this release
Polymake v0.11.17
Merged pull requests:
- init: add pidlock for polymake initialization (#487) (@benlorenz)