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