mirror of
https://github.com/zed-industries/zed.git
synced 2025-01-12 21:32:40 +00:00
38bfaba135
Remove the `id` field from `Ping`, because it isn't used. There is already an id on the message envelope. |
||
---|---|---|
.. | ||
zed.proto |