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