Skip to content
Snippets Groups Projects

Merge branch 'master' into 'ubuntu-16.04'

Passed
Bartosz Ziemba created pipeline for commit b7e63b62
, finished
1 related merge request: !6 Ubuntu 16.04
3 jobs 4 minutes 22 seconds, queued for 2 seconds