mirror of
https://github.com/zulip/zulip.git
synced 2025-11-06 15:03:34 +00:00
Commit 81d7dd1fda broke this nearly
eight years ago, so probably nobody cares except the ever-watchful eye
of mypy.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2.7 KiB
2.7 KiB