Build #935 (04.09.2018 13:54:06)

1. fix #719 (commit: f90ee9c) (detail / githubweb)

Started by remote host 192.30.252.45 with note: null

• refs/remotes/origin/master