https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66079
--- Comment #11 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> --- Hi Mikael, It looks like my finger slipped on the mouse wheel - I'll put it right tonight. Thanks Paul On 4 August 2015 at 11:27, mikael at gcc dot gnu.org <gcc-bugzi...@gcc.gnu.org> wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66079 > > Mikael Morin <mikael at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |mikael at gcc dot gnu.org > > --- Comment #10 from Mikael Morin <mikael at gcc dot gnu.org> --- > (In reply to Paul Thomas from comment #8) >> Created attachment 36113 [details] >> Patch for th 5 branch >> > Doesn't look like a patch. :-/ > > -- > You are receiving this mail because: > You are on the CC list for the bug. > You are the assignee for the bug.