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, ThomasI've applied the changes to GCC 8 trunk as r247588.