Gitlab has been updated. More info here and there.
02825e89aa60b0ef4f1481f4738b6d38b63e1fe5
11 commits (jan.polcher@lmd.jussieu.fr)