Build #1125 (05.04.2019 00:02:24)

1. fix loading of config and update language server protocol dependency (commit: 9cc2c6c) (detail / githubweb)

Started by GitHub push by peq

• refs/remotes/origin/master