http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54419
--- Comment #64 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> 2012-09-10 10:00:09 UTC --- Seconded! In return, I promise that, as soon as I have time, I'll update to 21st century tools :-) Thanks Paul On 9 September 2012 20:17, dominiq at lps dot ens.fr <gcc-bugzi...@gcc.gnu.org> wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54419 > > --- Comment #61 from Dominique d'Humieres <dominiq at lps dot ens.fr> > 2012-09-09 18:17:09 UTC --- >> patch committed > > 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.