mirror of
https://github.com/juanfont/headscale.git
synced 2026-10-28 17:26:52 +09:00
It fills PeersRemoved without deleting anything. The batcher now tears down the session behind every removed id, so a caller would kill a live poll. Updates #3410