mirror of
https://github.com/zed-industries/zed.git
synced 2026-06-01 03:14:56 +07:00
Remove the `id` field from `Ping`, because it isn't used. There is already an id on the message envelope. |
||
|---|---|---|
| .. | ||
| zed.proto | ||
Remove the `id` field from `Ping`, because it isn't used. There is already an id on the message envelope. |
||
|---|---|---|
| .. | ||
| zed.proto | ||