Merge pull request #1738 from zed-industries/out-of-sync-diagnostics

Fix bugs that caused guests to see different diagnostics than host
3bb1f0097fMax Brunsfeld committed on 10/12/2022, 9:13:16 PM· committed by GitHubparentscbf31e669dcfbb
4 files changedLine totals unavailable