http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54690
--- Comment #4 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> 2012-09-24 15:28:52 UTC --- Looks good to me - why did this pop up now? On 24 September 2012 16:04, dominiq at lps dot ens.fr <gcc-bugzi...@gcc.gnu.org> wrote: > > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54690 > > --- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> > 2012-09-24 14:04:38 UTC --- > The patch in comment #1 fixes this PR. Thanks. > > -- > Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email > ------- You are receiving this mail because: ------- > You are on the CC list for the bug.