Gitlab has been updated. More info here.
97e790f4124a08bb3466c31d54bf15d5723b4cd8
12 commits (marc-antoine.drouin@lmd.polytechnique.fr)