Merge branch 'master' into master-dev-merge

32 jobs for aws-integration in 50 minutes and 27 seconds (queued for 3 seconds)