http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52765
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-06-25 14:45:18 UTC --- Patches for libstdc++ should be sent to the libstdc++ list as well as gcc-patches. That's probably why you didn't get any feedback.