mirror of
https://github.com/zulip/zulip.git
synced 2025-11-01 12:33:40 +00:00
Since mypy and typeshed have advanced a lot over the last several months, we no longer need these `type: ignore` annotations.
Since mypy and typeshed have advanced a lot over the last several months, we no longer need these `type: ignore` annotations.