
"tox -e mypy" doesn't show which version of mypy is being used, add this for convenience. Change-Id: I7237c9df531b9ee9f6eae4ed43dfaca52c689bf4
"tox -e mypy" doesn't show which version of mypy is being used, add this for convenience. Change-Id: I7237c9df531b9ee9f6eae4ed43dfaca52c689bf4