Merge pull request #54 from cocreature/workdoneprogress
authorLuke Lau <luke_lau@icloud.com>
Fri, 18 Oct 2019 18:02:10 +0000 (19:02 +0100)
committerGitHub <noreply@github.com>
Fri, 18 Oct 2019 18:02:10 +0000 (19:02 +0100)
Update to current state of progress reporting in LSP


Trivial merge