Build #243 (Nov 8, 2018 1:31:41 PM)

1. a shorter test is also ok (commit: d7e2cc7) (detail / githubweb)

Started by GitHub push by SimonBin

• refs/remotes/origin/develop