Merge branch 'master' into ExecutionSemantics

2 jobs for ExecutionSemantics in 10 minutes and 42 seconds (queued for 1 second)
Status Job ID Name Coverage
  Linux
passed #1366469
BranchJobLinux

00:10:42

failed #1363113
BranchJobLinux

00:00:22