Build #725 (16.05.2018 23:44:17)

1. fixed module-use jump-to-decl (commit: 9dee7fc) (detail / githubweb)

Started by remote host 192.30.252.37 with note: null

• refs/remotes/origin/master