Merge branch 'mc'

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

00:08:51

passed #4216
docker
build_lite

00:06:19

 
  Deploy
passed #4217
docker
deploy_latest

00:02:45