Skip to content

DEV: Run mypy for all supported python versions#2242

Closed
MartinThoma wants to merge 1 commit intomainfrom partially-undo-2223