mirror of
https://github.com/zulip/zulip.git
synced 2025-10-26 09:34:02 +00:00
This is unused since commit 1806e0f45e
(#19625).
Signed-off-by: Anders Kaseorg <anders@zulip.com>
This is unused since commit 1806e0f45e
(#19625).
Signed-off-by: Anders Kaseorg <anders@zulip.com>