On Thu, Dec 6, 2018 at 10:04 AM Ian Lance Taylor via gcc-patches <[email protected]> wrote: > > On Thu, Dec 6, 2018 at 3:12 AM Nick Clifton <[email protected]> wrote: > > > > Is the patch OK with you ? >
This caused: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88409 -- H.J.
