Skip to content

fix: out of date diagnostics after closing and re-opening a file#851

Merged
rchl merged 2 commits intomasterfrom
fix/diagnostics-update
Jan 12, 2024

Commits

Commits on Jan 12, 2024