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.
srittau, JelleZijlstra, JukkaL, sobolevn, 97littleleaf11 and 6 moreintgr
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.