Build #138 (08.04.2016 21:14:14)

1. fixed #437, made compilation more deterministic by sorting all things (commit: 5c9d6a0) (detail / githubweb)

Started by remote host 192.30.252.41 with note: null

• refs/remotes/origin/master