Applied to the wwwdocs module. -- Eric Botcazou -------------- next part -------------- A non-text attachment was scrubbed... Name: p.diff Type: text/x-patch Size: 1035 bytes Desc: not available URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20170717/1a455d35/attachment.bin>