Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix linter by using recent Python version
We have no particular reason to use 3.7 for this anymore
- Loading branch information