Skip to content

Conversation

@sharpSteff
Copy link
Contributor

fixes #76

@razzmatazz
Copy link
Owner

LGTM

@razzmatazz razzmatazz merged commit 7719c39 into razzmatazz:master Apr 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

JsonSerializationException: Required property 'publishDiagnostics' not found in JSON

2 participants