[v3] Docs: add/update entries for some DRs

[Paolo Carlini]

Hi,

just add/update some entries to reflect better the current situation.

Paolo.

////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_doc
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20031114/e71d8fe1/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_doc
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20031114/e71d8fe1/attachment-0001.ksh>