Skip to content

cleanup diagnostics in DiagnosticRequestor#976

Merged
dbaeumer merged 2 commits intomicrosoft:mainfrom
d-biehl:patch-1
Jun 2, 2022
Merged

cleanup diagnostics in DiagnosticRequestor#976
dbaeumer merged 2 commits intomicrosoft:mainfrom
d-biehl:patch-1

Conversation

@d-biehl
Copy link
Copy Markdown
Contributor

@d-biehl d-biehl commented Jun 1, 2022

try to fix #975

@dbaeumer
Copy link
Copy Markdown
Member

dbaeumer commented Jun 2, 2022

Good catch!

@dbaeumer dbaeumer requested review from aeschli and dbaeumer June 2, 2022 10:47
@dbaeumer dbaeumer enabled auto-merge (squash) June 2, 2022 10:48
@dbaeumer dbaeumer merged commit 51197ea into microsoft:main Jun 2, 2022
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.

Pull Diagnostics does not remove old diagnostics if Language Server restarts

2 participants