https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72699
--- Comment #5 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> --- Hi Dominique, You are quite right about the revision that fixes this PR, whose existence I hadn't noticed. Thanks for closing it. Cheers Paul On 5 August 2016 at 14:13, dominiq at lps dot ens.fr <gcc-bugzi...@gcc.gnu.org> wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72699 > > Dominique d'Humieres <dominiq at lps dot ens.fr> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > Status|WAITING |RESOLVED > Resolution|--- |FIXED > > --- Comment #4 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- >> I'll close the PR as FIXED in the coming days unless someone object. > > Closing as FIXED. > > -- > You are receiving this mail because: > You are on the CC list for the bug.
