https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62056
--- Comment #14 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #11) > Jonathan, what should we do about this? Is this implementation better than > the one in libstdc++? I don't know, I haven't looked. Agustin, do you have a copyright assignment?
