------- Comment #7 from bangerth at dealii dot org 2006-09-28 06:09 ------- Daniel, would you prefer if we marked this as WONTFIX? I think this thing is so contentious that we're not going to do anything about it until there's some sort of resolutions from the ISO committees.
I just don't see any purpose in keeping around lots of PRs that we don't plan to do anything about. We're having enough trouble telling the important PRs from the not so important ones already... W. -- bangerth at dealii dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bangerth at dealii dot org, | |drow at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29245