------- 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
------- 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