http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54043
--- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-07-20 14:14:36 UTC --- (In reply to comment #8) > > Jonathan, given the state of 1423, should I open a new reminder bugzilla > > entry > > to take care of this? AFAIK we have done so for other "ready" issues in the > > past. > > I still think that adding this entry will be good to have. Agreed? Sure, no harm in adding it - if Jason doesn't want to implement it yet then he won't :) Thanks for pointing out the issue.