------- 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
