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