Bug#1052949: closing 1052949

close 1052949 thanks

Bug#1052949: closing 1052949

close 1052949 jzo...@heute-morgen.de thanks

Bug#1052949: closing 1052949

close 1052949 jzo...@heute-morgen.de Should be fixed in polymake 4.11-1