Skip to content

Implement push diagnostics in terms of DocumentDiagnosticsRequest#902

Merged
ahoppen merged 1 commit intoswiftlang:mainfrom
ahoppen:ahoppen/unify-diagnostics
Oct 19, 2023
Merged

Implement push diagnostics in terms of `DocumentDiagnosticsRequest`#902
ahoppen merged 1 commit intoswiftlang:mainfrom
ahoppen:ahoppen/unify-diagnostics

Commits

Commits on Oct 18, 2023