------- Comment #5 from jv244 at cam dot ac dot uk 2007-07-03 18:26 ------- patch ping ?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31198
------- Comment #5 from jv244 at cam dot ac dot uk 2007-07-03 18:26 ------- patch ping ?
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31198