Merge pull request #1235 from zed-industries/diagnostics-in-hidden-worktrees

Allow diagnostics to be published for hidden worktrees
fc3ec6966bMax Brunsfeld committed on 6/28/2022, 9:29:41 PM· committed by GitHubparents809f3308fe6809
2 files changedLine totals unavailable