mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-12 13:24:19 +00:00
Checkpoint
This commit is contained in:
parent
3ddfb77fce
commit
d43c676dd0
1 changed files with 1 additions and 0 deletions
|
@ -132,6 +132,7 @@ impl Zeta {
|
||||||
&& old_snapshot.version == last_new_snapshot.version
|
&& old_snapshot.version == last_new_snapshot.version
|
||||||
{
|
{
|
||||||
*last_new_snapshot = new_snapshot.clone();
|
*last_new_snapshot = new_snapshot.clone();
|
||||||
|
*last_timestamp = *timestamp;
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue