Skip to content
Snippets Groups Projects

Merge branch 'cherry-pick-1791-2016' into '2016-patches'

Passed
Marco Cattaneo created pipeline for commit b2b78950
, finished
1 related merge request: !1801 Prevent concurrent execution of some tests (@clemenci)
1 job 1 minute 4 seconds, queued for 0 seconds