Re: ci.linaro.org downtime