Sign up
View stargazers0Sign up

Merge pull request #787 from zed-industries/buffer-divergence

Fix divergence bug when peer reconnects reusing a prior replica id
28f44a3252Antonio Scandurra committed on 4/11/2022, 11:34:30 AM· committed by GitHubparentsaf674e1f9e0899
2 files changedLine totals unavailable