Build #964 (17.09.2018 21:29:10)

1. regarding #728: probably it is better to throw an exception in this case (commit: 1b288e6) (detail / githubweb)

Started by remote host 192.30.252.38 with note: null

• refs/remotes/origin/master