------- Comment #13 from manu at gcc dot gnu dot org 2008-08-07 15:22 ------- Unsubscribing: not sure what is to fix here.
-- manu at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC|manu at gcc dot gnu dot org | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32247