Merge pull request #2432 from zed-industries/more-diagnostic-source

Show diagnostic source in more places
4f6939732eJulia committed on 5/2/2023, 1:16:11 PM· committed by GitHubparents9108e41185c165
4 files changedLine totals unavailable