Merge branch 'mc'

3 jobs for master in 11 minutes and 28 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #4174
docker
build

00:08:46

passed #4175
docker
build_lite

00:06:02

 
  Deploy
passed #4176
docker
deploy_latest

00:02:41