[v3] libstdc++/31957

[Paolo Carlini]

Hi,

committed to mainline and 4_2-branch. Many thanks to Paolo B.

Paolo.

//////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_31957
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20070705/846fe976/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_31957
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20070705/846fe976/attachment-0001.ksh>