------- Comment #8 from bangerth at dealii dot org 2007-09-24 18:57 ------- (In reply to comment #7) > Actually, I've fixed several of those in the past few weeks.
I think this very much appreciated fact was what caused Richard to CC: you on this PR :-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5305
