Merge remote-tracking branch 'upstream/master' into develop

7 jobs for develop in 10 minutes and 17 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #233628
docker-arm
build_lite_arm

00:05:38

passed #233627
docker-noavx2
build_lite_x86

00:02:34

 
  Build2
passed #233630
docker-arm
build_full_arm

00:03:49

passed #233629
docker-noavx2
build_full_x86

00:01:37

 
  Deploy
passed #233633
docker-noavx2
deploy_branch

00:00:47

passed #233632
docker-noavx2
deploy_full

00:00:48

passed #233631
docker-noavx2
deploy_lite

00:00:41