Merge branch 'master' into ExecutionSemantics

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

00:10:42

failed BranchJobLinux #1363113

00:00:22