Open andrej98 opened 1 year ago
Fixed Issue #357
This PR is into master branch but it wasnt updated for a while.
Should I make pull request also to 5.0-dev branch?
The original code is different between these two branches, but the problem is the same, so I made the same change to both branches.
Fixed Issue #357
This PR is into master branch but it wasnt updated for a while.
Should I make pull request also to 5.0-dev branch?
The original code is different between these two branches, but the problem is the same, so I made the same change to both branches.