Closed omer54463 closed 2 months ago
I now realize I created a pull request into master, which is probably not what I should've done. I'm not sure whether I should create a PR into dev or next or another branch. Any help would be appreciated :)
Yes, this shall go do dev branch.
It seems that the python bindings have great type hints, but due to the lack of a
py.typed
file,mypy
doesn't use them. This PR solves the issue.