------- Additional Comments From giovannibajo at libero dot it 2005-07-05 23:16 ------- Zdenek, is the patch still valid? If so, maybe it's time to ping it?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21963
giovannibajo at libero dot it Tue, 05 Jul 2005 16:16:23 -0700
------- Additional Comments From giovannibajo at libero dot it 2005-07-05 23:16 ------- Zdenek, is the patch still valid? If so, maybe it's time to ping it?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21963