mirror of
https://github.com/zulip/zulip.git
synced 2025-11-04 05:53:43 +00:00
e29be679a8
Commit f22680da31 (#35043) should have
removed these.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
