Closed martinpitt closed 6 months ago
Not necessary any more.
I'm not against this. I was just against skipping mypy if this was missing. All the better if we have it!
@allisonkarlitskaya Heh, I understood. In the end this is tiny, so let's do that. More fodder for our container-update bots :grin:
This is a prerequisite for proper mypy testing of the upcoming pytest in PR #606