------- Comment #10 from mikael at gcc dot gnu dot org 2008-11-16 19:44 ------- (In reply to comment #9) Those are only details, it works nicely :-).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38135
mikael at gcc dot gnu dot org Sun, 16 Nov 2008 11:46:24 -0800
------- Comment #10 from mikael at gcc dot gnu dot org 2008-11-16 19:44 ------- (In reply to comment #9) Those are only details, it works nicely :-).
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38135