------- Comment #19 from bangerth at gmail dot com 2010-03-08 04:26 ------- *** Bug 43272 has been marked as a duplicate of this bug. ***
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13687
------- Comment #19 from bangerth at gmail dot com 2010-03-08 04:26 ------- *** Bug 43272 has been marked as a duplicate of this bug. ***
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13687