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