Gitlab has been updated. More info here and there.
7d6308f6040e0ac448a1657afd3802747ebdf763
1963 commits (guez@lmd.ens.fr)
9 commits (lionel guez)