Adopt version 0.0.17 of the language server #249
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Previously, version 0.0.14 was adopted in #233 but two bugs were discovered that caused the change to be reverted. These two issues have now been fixed in 0.0.17.
Two other issues (#237 and #238) unrelated to the 0.0.14 upgrade were reported and they have also been implemented and fixed. And of course, #218 that was fixed in 0.0.14 has not regressed and is fixed in 0.0.17.
Please use the following Dockerfile to test the update to 0.0.17 from 0.0.13. Thank you!