> Looks good to me. Do you have push permissions?

Thanks.  Yes, see the preceding message on gcc-patches@, so applied.

-- 
Eric Botcazou


Reply via email to