On Sat, Feb 25, 2017 at 8:59 AM, Julian Andres Klode <j...@debian.org> wrote:
> Retry it. Maybe it timed out or something.
I just retried it 5 times, and got 5 more failures.
-- 
Daniel Schepler

Reply via email to