Build #52 (19.08.2015 23:36:31)

1. new local optimization: local merger (commit: 19a245b) (detail / githubweb)

Started by remote host 192.30.252.40 with note: null

• refs/remotes/origin/master