Merge branch 'mc'

3 jobs for master in 13 minutes and 18 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #4137
docker
build

00:10:28

passed #4138
docker
build_lite

00:06:39

 
  Deploy
passed #4139
docker
deploy_latest

00:02:49