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