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