morin-mikael@orange.fr,cc:mikael@gcc.gnu.org,bcc:tcwg-validation@linaro.org