https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86242
--- Comment #11 from c...@mnet-mail.de --- Thanks for the fix! On 07/03/2018 12:48 PM, pault at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86242 > > Paul Thomas <pault at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > Status|NEW |RESOLVED > Resolution|--- |FIXED > > --- Comment #10 from Paul Thomas <pault at gcc dot gnu.org> --- > Fixed on 6- through 9-branches. > > The I used the wrong logfile for the commits to 8- and 9-branches; it went to > PR45305 instead. > > Thanks for the report. > > Paul >