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