Also, as stated at http://gcc.gnu.org/lists.html (but not in the libstdc++ docs, I'll fix that) patches should go to the gcc-patches list as well as libstdc++ one Thanks, Jonathan