No description provided.
fix type hint
thank you for creating this pull request. However did not open it on the "master"
branch. Our Git workflow requires all pull requests to go through "master" branch
and the release masters then merge them back into stable branches, if they are
Please open the pull request again for the "master" branch and close
Nevertheless I have opened a Jira ticket for this Pull Request to track this
We use Jira to track the state of pull requests and the versions they got