Closed dairiki closed 1 year ago
Fixes #234
Also fixes issues with our mypy plugin with mypy>=1.1.1.
Released in 8.5.12.
Fixes #234
Also fixes issues with our mypy plugin with mypy>=1.1.1.