Build #48 (18.08.2015 13:14:50)

1. local optimization: rewrite something like "not (x==0)" to "x!=0" etc. (commit: 2bcd96c) (detail / githubweb)

Started by remote host 192.30.252.42 with note: null

• refs/remotes/origin/master