Build #763 (04.06.2018 18:55:52)

1. fix duplicate name check (commit: d2d9a38) (detail / githubweb)

Started by remote host 192.30.252.36 with note: null

• refs/remotes/origin/master