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