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.

Reply via email to