Gitlab has been updated. More info here.
3fc8adffe940b6b5234038cee0dc94f7eae5346d
14 commits (marc-antoine.drouin@lmd.polytechnique.fr)