Polymake.jl 0.11.3 released

Today Polymake.jl 0.11.3 has been released.

Diff since v0.11.2

Merged pull requests:

• init: avoid race condition when writing extension config (#448) (@benlorenz)