Merge pull request #2103 from zed-industries/connection-staleness

Fix connection staleness issues
ac7618da17Antonio Scandurra committed on 1/27/2023, 10:01:24 AM· committed by GitHubparentsd7ac15f647d986
5 files changedLine totals unavailable