[v3] libstdc++/43918

[Paolo Carlini]

Hi,

I committed Suresh' patch (very slightly tweaked)  and closed the PR.

Thanks,
Paolo.

/////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_43918
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100610/543dd9ca/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_43918
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100610/543dd9ca/attachment-0001.ksh>