On Fri, Mar 13, 2020 at 01:24:07AM +0000, Joseph Myers wrote: > On Thu, 30 Jan 2020, Lewis Hyatt wrote: > > > Is this something that would be desirable to change for GCC 10? Attached > > patch would do so, and the output would become instead: > > This patch is OK. (It may mean some translation updates, but we generally > do such bug fixes when the issue is found by translators in the course of > working on translations; it's probably time for me to submit another > updated .pot file to the TP.) >
Thanks so much for taking a look, I have pushed this one after bootstrap + regtest. FYI, I also submitted a related patch to gcc-patches just now: https://gcc.gnu.org/pipermail/gcc-patches/2020-March/542042.html This one makes (what I hope is) an improvement to some additional option help. There is nothing urgent about it if it's a bad time given the release schedule, but I thought I would go ahead and submit it now in case it's worthwhile given what you mentioned about translation. Thanks! -Lewis
