Re: [wwwdocs] Fix inverted option for disabling new feature (PR 94581)

2020-04-14 Thread Thomas König
Am 14.04.20 um 12:11 schrieb Jonathan Wakely: Committed as obvious. Thomas, please fix it if this isn't what you meant to say. Yep, that's what I meant to say. Thanks a lot! Regards Thomas

[wwwdocs] Fix inverted option for disabling new feature (PR 94581)

2020-04-14 Thread Jonathan Wakely via Gcc-patches
Committed as obvious. Thomas, please fix it if this isn't what you meant to say. commit 5264b357a424a38ccdcd3af01d67902109218aa8 Author: Jonathan Wakely Date: Tue Apr 14 11:09:43 2020 +0100 Fix inverted option for disabling new feature (PR 94581) diff --git a/htdocs/gcc-10/changes.html