Gitlab has been updated. More info here.
414b1a43dd60360584f3ced20e45eb85486459bf
13 commits (marc-antoine.drouin@lmd.polytechnique.fr)