Merge branch 'mc'

3 jobs for master in 21 minutes and 27 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #5530
docker
build

00:18:18

passed #5531
docker
build_lite

00:16:37

 
  Deploy
passed #5532
docker
deploy_latest

00:03:08