Hi, Anton Gladky wrote (11 Nov 2012 22:00:06 GMT) : > So, probably, backports are much better alternative for gmsh in > this case. You may want to close this bug, then. Cheers!