Merge branch 'master' into 'ubuntu-16.04'
Passed
Bartosz Ziemba
created pipeline for commit b7e63b62
, finished
1 related merge request: !6 Ubuntu 16.04
4 minutes 22 seconds, queued for 2 seconds