Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Resolve mypy error after git merge master:
``` mypy.....................................................................Failed - hook id: mypy - exit code: 1 ubench/holder_comparison.py:96: error: Unused "type: ignore" comment [unused-ignore] ubench/holder_comparison.py:97: error: Unused "type: ignore" comment [unused-ignore] Found 2 errors in 1 file (checked 12 source files) ```
- Loading branch information