Merge pull request #2415 from zed-industries/diagnostic-hovers-source

Show source of diagnostic on hover
92c9de1f50Julia committed on 4/27/2023, 7:12:22 PM· committed by GitHubparents45c707387539e7
11 files changedLine totals unavailable