Great, thanks. I'll go and commit the corresponding wwwdocs change. Best regards, Thomas On 04/05/17 12:03, JonY wrote: > On 03/23/2017 10:47 AM, Thomas Preudhomme wrote: >> Ack. Please find updated patch as per suggestions. >> >> Best regards, >> >> Thomas >> > > I've applied the changes to GCC 8 trunk as r247588. > >