Merge pull request #131493 from collares/polymake-4.4
polymake: 3.2.rc4 -> 4.4
authored by Sandro and committed by GitHub 4 years ago fd26f351 4a42e7dd