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