http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43852
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |NEW AssignedTo|redi at gcc dot gnu.org |unassigned at gcc dot | |gnu.org --- Comment #18 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-05-31 13:50:52 UTC --- Sorry for not finding time to work on this. I'm unassigning myself in case anyone else wants to do it, as I've got several higher priority items and am unlikely to work on this any time soon.