Merge pull request #672 from zed-industries/fix-unfollowing-on-edit

Automatically unfollow leader only for edits that originate from the follower editor
ccc276da7aNathan Sobo committed on 3/24/2022, 7:26:28 PM· committed by GitHubparents8f755209421ad0
11 files changedLine totals unavailable