Build #776 (07.06.2018 02:48:04)

1. Branchmerger and Exitwhen and Set optimizations (#651) (commit: 9ccaddb) (detail / githubweb)

Started by remote host 192.30.252.36 with note: null

• refs/remotes/origin/master