Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
pre-commit is failing on `master`: https://github.com/python/mypy/actions/runs/4970566646/jobs/8894519893 The cause was a merge race between #15234 and #15237
- Loading branch information