Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tested via: ``` set -x rm -rf .mypy_cache time python -m mypy --config-file mypy_self_check.ini -p mypy python misc/convert-cache.py --to-sqlite .mypy_cache/3.8 time python -m mypy --config-file mypy_self_check.ini -p mypy --sqlite-cache time python -m mypy --config-file mypy_self_check.ini -p mypy --sqlite-cache ```
- Loading branch information