8000 Warn about redundant casts by rwbarton · Pull Request #1705 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Warn about redundant casts#1705

Merged
ddfisher merged 1 commit intopython:masterfrom
rwbarton:rwbarton-redundant-casts
Jun 15, 2016
Merged

Warn about redundant casts#1705
ddfisher merged 1 commit intopython:masterfrom
rwbarton:rwbarton-redundant-casts

Commits

Commits on Jun 13, 2016
0