Build #14 (01.12.2017 23:54:07)

1. Also fix travis build (commit: 7381f1d) (detail / githubweb)

Started by remote host 192.30.252.45 with note: null

• refs/remotes/origin/master