Merge branch 'docker' into 'master'
Warning
Marek Chrastina
created pipeline for commit
68baf11c
, finished
For master
13 seconds, queued for 0 seconds