Merge branch 'master' into fpic

3 jobs for fpic in 7 minutes and 39 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #181005
docker-arm
build-arm

00:01:54

passed #181004
docker
build-x86

00:05:11

 
  Deploy
passed #181006
docker
deploy_branch

00:02:28