Merge pull request #1172 from zed-industries/more-logs

Add more logging to `collab` to better understand user behavior
b1e8e81513Antonio Scandurra committed on 6/13/2022, 7:22:37 AM· committed by GitHubparents1bc2bc0502625c
2 files changedLine totals unavailable