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