8a0bc236cd972e4c681e3fa0b7ab5bc52a84e254 d6306ee334471ab567218170e825a10587c9ffb8 Antoine Lambert <antoine.lambert@inria.fr> 1548171176 +0100	fetch --quiet: fast-forward
