Closed ziegenberg closed 3 years ago
This PR fixes the last type hinting errors. There is now no # type: ignore comment anymore.
# type: ignore
FIXES #149
@ssbarnea this is ready for review
This PR fixes the last type hinting errors. There is now no
# type: ignore
comment anymore.FIXES #149