[Doc patch] For libstdc++/9423

[Paolo Carlini]

Hi,

the below is a doc patch resulting from Benjamin's analysis
in the audit trail.

Ok?

Paolo.

/////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030415/196fe140/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: doc_patch
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20030415/196fe140/attachment-0001.ksh>