Merge pull request #1757 from zed-industries/detect-unshare

Clear project's shared state upon every disconnection
78aee53411Max Brunsfeld committed on 10/14/2022, 5:44:35 PM· committed by GitHubparentsad6f9b22d3d07d
2 files changedLine totals unavailable