[v3] PR libstdc++/51711

[Paolo Carlini]

Hi,

applied mainline and 4_6-branch.

Thanks,
Paolo.

/////////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_51711
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20111230/381b63ae/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_51711
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20111230/381b63ae/attachment-0001.ksh>