Use latest version of mypy and fix type hinting accordingly#1239
Merged
tleonhardt merged 3 commits intomasterfrom Jul 14, 2022
Merged
Use latest version of mypy and fix type hinting accordingly#1239tleonhardt merged 3 commits intomasterfrom
tleonhardt merged 3 commits intomasterfrom