Build #1206 (22.10.2019 22:46:28)

1. Workspace config (#899) (commit: dcf9691) (detail / githubweb)

Started by GitHub push by Frotty

• refs/remotes/origin/master