http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46678
--- Comment #13 from paul.richard.thomas at gmail dot com <paul.richard.thomas at gmail dot com> 2010-12-02 13:33:38 UTC --- Semms to me that Jerry should do the honours :-) Paul On Thu, Dec 2, 2010 at 1:45 PM, burnus at gcc dot gnu.org <gcc-bugzi...@gcc.gnu.org> wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46678 > > --- Comment #12 from Tobias Burnus <burnus at gcc dot gnu.org> 2010-12-02 > 12:44:57 UTC --- > I think we can close this PR - can't we? > > -- > 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. >
