Merge branch 'mc'

3 jobs for master in 5 minutes and 15 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #9657
docker
build

00:04:50

passed #9658
docker
build_lite

00:03:06

 
  Deploy
passed #9659
docker
deploy_latest

00:00:25