Merge pull request #1808 from zed-industries/fix-diagnostics-on-rust

Match progress token's prefix to detect disk-based diagnostic progress
c1f7ac0d8cAntonio Scandurra committed on 10/25/2022, 9:46:59 AM· committed by GitHubparentsaf74d5419adfdf
3 files changedLine totals unavailable