------- Comment #3 from debian-gcc at lists dot debian dot org  2009-05-16 
12:48 -------
a patch would be appreciated, even if it's not applied directly in the 4.4
branch.

  Matthias


-- 


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

Reply via email to