http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48852
Jerry DeLisle <jvdelisle at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jvdelisle at gcc dot
| |gnu.org
--- Comment #2 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2011-05-05
01:06:01 UTC ---
We have another PR in place that is related to this, pr31190
One thought was to hide this behind an option so that one could stick with the
default or go for a thin format.
