------- Comment #6 from redi at gcc dot gnu dot org  2010-05-30 12:39 -------
that's fine I'll be able to update the docs from that info - thanks


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44268

Reply via email to