Merge pull request #2114 from zed-industries/new-collaboration-ui

New collaboration UI part 1/N
b73423daaaMax Brunsfeld committed on 2/22/2023, 8:32:41 PM· committed by GitHubparents7b559170324ca3
24 files changedLine totals unavailable