------- Additional Comments From bangerth at dealii dot org 2005-07-24 04:51 ------- Don't worry, I'm just trying to tighten the net of PRs somehow -- if someone comes around to fix this PR, she might take a little more time than I have right now to find that duplicate PR...
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20308
