Gitlab has been updated. More info here and there.
07bbfcab3d39117953c7d91303fe42b11c520083
17 commits (jan.polcher@lmd.jussieu.fr)