Gitlab has been updated. More info here.
da8221a4aa23c0804520824ce0c1c8035046945d
9 commits (jan.polcher@lmd.jussieu.fr)