https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71156
--- Comment #2 from Damian Rouson <damian at sourceryinstitute dot org> --- Thanks! D > On May 18, 2016, at 12:18 AM, pault at gcc dot gnu.org > <gcc-bugzi...@gcc.gnu.org> wrote: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71156 > > Paul Thomas <pault at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |pault at gcc dot gnu.org > Assignee|unassigned at gcc dot gnu.org |pault at gcc dot > gnu.org > > --- Comment #1 from Paul Thomas <pault at gcc dot gnu.org> --- > I'll get on to it today. > > Thanks for the report. > > Paul > > -- > You are receiving this mail because: > You reported the bug.
