Skip to content

notify opened files immediately if there are pending diagnostics#2211

Merged
rchl merged 6 commits intomainfrom fix/diagnosticsMar 2, 2023