Ok, done. Anton 2012/11/12 intrigeri <intrigeri@debian.org> > > 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!