Merge pull request #303 from zed-industries/project-sharing-fixes

Miscellaneous bug fixes after switching to a project-centric sharing model
5d45c5711dAntonio Scandurra committed on 1/4/2022, 5:29:46 PM· committed by GitHubparentsb3b56c305a6137
9 files changedLine totals unavailable