Gitlab has been updated. More info here and there.
670023563cf08e80a224c8781bd9b3e4ded1fee1
1965 commits (guez@lmd.ens.fr)
9 commits (lionel guez)