------- Comment #10 from bangerth at gmail dot com 2010-02-23 20:40 ------- (In reply to comment #9) > Is there a reason this hasn't been fixed?
Lack of public demand? There's only one duplicate of this bug that has been reported in the last 9 years... > If not, I'll try. I think that would still be cool! W. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=2288
