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