Closed jernst closed 1 month ago
Assigning to the resident python expert :-)
Assigning to the resident python expert :-)
I've seen that too. It's a trivial change but doesn't cause any runtime issues (and VSCode doesn't seem to care) so I was waiting to submit a PR for it.
mypy says: