Closed
Description
I will be releasing mypy 0.920 soon. The release branch will be cut at a7d6e68. Please post here any PRs that need to be merged and cherry-picked.
I will be releasing mypy 0.920 soon. The release branch will be cut at a7d6e68. Please post here any PRs that need to be merged and cherry-picked.