mypy: Upgrade from 0.720 to 0.730.

Fixes #13269.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>
This commit is contained in:
Anders Kaseorg
2019-11-12 18:24:14 -08:00
committed by Tim Abbott
parent 43bba63549
commit 40f4ead738
12 changed files with 42 additions and 43 deletions

View File

@@ -26,4 +26,4 @@ LATEST_RELEASE_ANNOUNCEMENT = "https://blog.zulip.org/2019/03/01/zulip-2-0-relea
# historical commits sharing the same major version, in which case a
# minor version bump suffices.
PROVISION_VERSION = '65.4'
PROVISION_VERSION = '66.0'