Bug#1052949: closing 1052949

Thu, 23 Nov 2023 09:15:13 -0800 

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

Reply via email to