------- Additional Comments From bangerth at dealii dot org 2004-12-23 23:06 ------- This PR only covers a special case of the other PR, so I would be tempted to keep both open and if the other one is fixed checked whether this also covers the special case discussed here. I'm not sure whether this special case here immediately follows from fixing PR 18902. W.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19138
