8000 Simplify suppression of spurious 'unused-ignore's by ikonst · Pull Request #15419 · python/mypy · GitHub
[go: up one dir, main page]
8000
Skip to content

Simplify suppression of spurious 'unused-ignore's#15419

Closed
ikonst wants to merge 1 commit intopython:masterfrom
ikonst:rename-reachability

Commits

Commits on Jun 12, 2023
0