------- Comment #20 from marcus at jet dot franken dot de 2010-06-09 11:20 ------- Jakubs patch looks good to me.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28359
marcus at jet dot franken dot de Wed, 09 Jun 2010 04:21:18 -0700
------- Comment #20 from marcus at jet dot franken dot de 2010-06-09 11:20 ------- Jakubs patch looks good to me.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28359