00356ff063b42a8aaac7beb675429334f1011daa 43bcb278fd21150abc04859e34b87b0bf8863af4 Antoine Lambert <antoine.lambert@inria.fr> 1548171176 +0100	fetch --quiet: fast-forward
