Gitlab has been updated. More info here.
4934a56caab024b3d2448088580778bb808eb5ca
12 commits (jan.polcher@lmd.jussieu.fr)