------- Comment #16 from mmitchel at gcc dot gnu dot org 2007-12-18 05:36 ------- We need input from a libstdc++ maintainer. Gaby was invited to comment, but there's no comment from him in this PR. Paolo, do you have any further thoughts?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31780