mirror of
https://github.com/zulip/zulip.git
synced 2025-11-01 20:44:04 +00:00
This will also fix the error that is generated during the mypy 0.641 upgrade in PR #10691.
This will also fix the error that is generated during the mypy 0.641 upgrade in PR #10691.