[v3] Implement DR 1137

[Paolo Carlini]

... as committed.

Paolo.

//////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100222/8ec6fd55/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patchlet
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20100222/8ec6fd55/attachment-0001.ksh>