Dear Jonas, >>> I think we should change the default to -dSAFER ... > I think the safest is to track it as a separate bug.
Following your advice, I have now opened bug #592569 . Hoping I will not get abused for following such advice, as I got for http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583183#42 and that it will not be rudely and wrongly closed like #583183 was in http://bugs.debian.org/cgi-bin/bugreport.cgi?msg=91;bug=583183 Cheers, Paul Paul Szabo p...@maths.usyd.edu.au http://www.maths.usyd.edu.au/u/psz/ School of Mathematics and Statistics University of Sydney Australia -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
