Build #538 (02.12.2017 01:00:23)

1. bandaid for #592 (generic modules in vscode) (commit: 439535c) (detail / githubweb)

Started by remote host 192.30.252.42 with note: null

• refs/remotes/origin/master