http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54419
--- Comment #54 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-09-08 11:00:36 UTC --- I've tested the patch myself now, it's ok, please commit it asap (but in future remember to send patches to the libstdc++ list as well as gcc-patches, I could have approved it sooner had I seen it)
