https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83118
--- Comment #22 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> --- I'll get lined up to fix this tomorrow night. Thanks for all the testing. Regards Paul On Sun, 19 May 2019 at 11:58, dominiq at lps dot ens.fr <gcc-bugzi...@gcc.gnu.org> wrote: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83118 > > --- Comment #21 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > > Created attachment 46216 [details] > > Patch for the remaining problems. > > I have the patch in my working tree without any problem. > > -- > You are receiving this mail because: > You are on the CC list for the bug. > You are the assignee for the bug.