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