Clone issue 793#17

visz11 wants to merge 2 commits intomastercoderabbit-test/mypy:masterfrom

clone-issue-793coderabbit-test/mypy:clone-issue-793Copy head branch name to clipboard