http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47516
--- Comment #7 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> 2011-06-18 08:45:08 UTC --- Dear All, It was never there for me :-) Yes, please close it. Cheers Paul On 6/17/11, burnus at gcc dot gnu.org <gcc-bugzi...@gcc.gnu.org> wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47516 > > Tobias Burnus <burnus at gcc dot gnu.org> changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > Status|WAITING |RESOLVED > Resolution| |FIXED > > --- Comment #6 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-06-17 > 08:59:44 UTC --- > Close as fixed as a patch has been committed. I assume, no one can reproduce > it > any more? > > -- > 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. >
