Antonio Scandurra
12a286ac50
Forget buffered operations when resyncing with the host
...
Previously, we could end up with a situation where the host did not
see an operation but a guest that didn't have that buffer open would. When
such guest would finally open the buffer, they would apply the operation
without however sending it to the host. The guest wouldn't bother resyncing
it because it wasn't part of its open buffers.
2023-04-12 10:39:01 +02:00
..
2023-04-07 11:45:53 -06:00
2023-01-23 12:47:12 -08:00
2023-04-11 10:58:01 -07:00
2023-04-07 11:45:53 -06:00
2023-04-10 08:45:22 +02:00
2023-03-28 09:42:00 -07:00
2023-04-11 10:58:01 -07:00
2023-01-23 12:47:12 -08:00
2023-04-11 12:37:08 -07:00
2023-04-07 11:45:53 -06:00
2023-03-28 20:13:17 -07:00
2023-04-06 15:54:44 -06:00
2023-04-07 11:45:53 -06:00
2023-04-07 11:45:53 -06:00
2023-04-07 11:45:53 -06:00
2023-04-06 15:49:03 -06:00
2023-04-07 11:45:53 -06:00
2023-04-07 11:45:53 -06:00
2023-04-11 10:58:01 -07:00
2023-04-07 11:45:53 -06:00
2023-04-06 15:49:03 -06:00
2023-04-03 22:42:34 -07:00
2023-01-23 12:47:12 -08:00
2023-02-27 12:06:10 -08:00
2023-01-23 12:47:12 -08:00
2023-04-06 15:49:03 -06:00
2023-04-11 10:43:05 +02:00
2023-04-03 18:16:08 -07:00
2023-03-07 12:19:51 -08:00
2023-04-06 15:49:03 -06:00
2023-04-10 17:03:58 -07:00
2023-04-07 11:45:53 -06:00
2023-04-06 15:49:03 -06:00
2023-03-28 09:42:00 -07:00
2023-04-03 20:12:26 +02:00
2023-01-23 12:47:12 -08:00
2023-01-23 12:47:12 -08:00
2023-03-28 10:27:31 -07:00
2023-04-06 15:49:03 -06:00
2023-04-07 11:45:53 -06:00
2023-03-28 09:42:00 -07:00
2023-03-28 09:42:00 -07:00
2023-03-28 09:42:00 -07:00
2023-04-12 10:39:01 +02:00
2023-04-07 11:45:53 -06:00
2023-04-06 15:49:03 -06:00
2023-04-06 15:54:44 -06:00
2023-03-20 19:29:22 +01:00
2023-04-11 08:50:26 +02:00
2023-04-07 11:45:53 -06:00
2023-04-06 15:49:03 -06:00
2023-01-23 12:47:12 -08:00
2023-02-13 13:50:37 -08:00
2023-01-23 12:47:12 -08:00
2023-04-06 15:54:44 -06:00
2023-01-23 12:47:12 -08:00
2023-04-07 11:45:53 -06:00
2023-04-07 11:45:53 -06:00
2023-04-10 17:03:58 -07:00
2023-04-07 11:45:53 -06:00
2023-04-06 15:49:03 -06:00
2023-04-06 15:49:03 -06:00
2023-04-05 15:55:44 +02:00
2023-04-06 16:10:39 -06:00
2023-04-06 15:54:44 -06:00
2023-04-10 12:54:25 -07:00
2023-04-07 14:32:14 -04:00