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