------- Additional Comments From falk at debian dot org  2005-03-29 21:38 
-------
(In reply to comment #9)

> This patch should fix the problem

Yes, it does. (I haven't tried bootstrapping, though.)

Thanks for fixing this so quickly!


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20625

Reply via email to