Merge branch 'ExecutionSemantics' into 'master'

Update Versions and Dependencies

See merge request !10
2 jobs for master in 1 minute and 10 seconds (queued for 1 second)