------- Comment #8 from bangerth at gmail dot com  2010-07-01 21:38 -------
I think that would already be an improvement.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40793

Reply via email to