Merge pull request #2273 from zed-industries/fix-dock-opening-in-collaboration

Fix dock opening on collaboration
ef7d8f46dfMax Brunsfeld committed on 3/13/2023, 5:04:43 PM· committed by GitHubparentsc6f2790097a768
2 files changedLine totals unavailable