zed/crates/language
Antonio Scandurra f9e0899e58 Fix divergence bug when peer reconnects reusing a prior replica id
We forgot to observe the footprint of the reconnecting replica's prior
undos into the local clock. This could cause the replica to generate
edits with a version strictly smaller than what other peers may have
observed. As such, those peers would think they had already seen those
edits and skip them.
2022-04-11 13:17:47 +02:00
..
src Fix divergence bug when peer reconnects reusing a prior replica id 2022-04-11 13:17:47 +02:00
build.rs
Cargo.toml