Gitlab has been updated. More info here and there.
7a2e177dc2b7eab9fc1f85424441f4d2d501a85c
13 commits (jan.polcher@lmd.jussieu.fr)