Build #29 (21.07.2015 01:01:16)

1. fixed #368 - nontermination in local optimizer (commit: 6763ce7) (detail / githubweb)

Started by remote host 192.30.252.46 with note: null

• refs/remotes/origin/master