4ff78fc73c9ce1f7c177cc4acba815f95fbdbfd5 3bd01955e961aa2e6e1b6f9cd9e003f94273584e Antoine Lambert <antoine.lambert@inria.fr> 1548171176 +0100	fetch --quiet: fast-forward
