Gitlab has been updated. More info here and there.
86d8e9649b870102a7573499f4a09ac41717be41
1352 commits (guez@lmd.ens.fr)
9 commits (lionel guez)