https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87127
--- Comment #6 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> --- Hi Juergen, Noted - as it happens, I have an hour or so right now :-) Cheers Paul On Fri, 29 Mar 2019 at 23:08, juergen.reuter at desy dot de <gcc-bugzi...@gcc.gnu.org> wrote: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87127 > > --- Comment #5 from Jürgen Reuter <juergen.reuter at desy dot de> --- > Paul, would be cool to get back to this one! ;) > > -- > You are receiving this mail because: > You reported the bug.
