------- Comment #6 from fxcoudert at gcc dot gnu dot org 2007-07-03 18:30 ------- (In reply to comment #5) > patch ping ?
I was initially waiting for Lee's patch to be committed, if I have no news from him I'll modify the patch and submit it again. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31198
