https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69834
--- Comment #2 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> --- Thanks Thomas! Sorry that I missed your PR. I wonder what, if anything, we should do about it? Cheers Paul On 16 February 2016 at 11:54, tkoenig at gcc dot gnu.org <gcc-bugzi...@gcc.gnu.org> wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69834 > > Thomas Koenig <tkoenig at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |tkoenig at gcc dot gnu.org > > --- Comment #1 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- > *** Bug 69829 has been marked as a duplicate of this bug. *** > > -- > You are receiving this mail because: > You reported the bug.
