------- Additional Comments From giovannibajo at libero dot it 2005-03-02
21:32 -------
I gave a quick look at this and I can't find anything that is not already
fixed, especially after Karel's last results. Also having a bug with 85
comments is a good way to make developers run, so let's close this as fixed as
well. If anyone in CC list believes there is something still to fix mentioned
here, it is better to create a new bug.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13776
