Merge branch 'mc'

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

00:08:53

passed #4224
docker
build_lite

00:06:32

 
  Deploy
passed #4225
docker
deploy_latest

00:02:53