http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55041
--- Comment #15 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-11-20 00:10:01 UTC --- (In reply to comment #14) > [...] Looks good to me, thanks! > On which list should website changes be proposed? On gcc-patches, I usually just commit it and put [wwwdocs] in the subject line, which gets Gerald's attention.
