Skip to content

Conversation

@kanevbg
Copy link

@kanevbg kanevbg commented Jan 12, 2024

Fixes issue #915

@kanevbg kanevbg closed this Jan 12, 2024
@kanevbg kanevbg reopened this Jan 12, 2024
@kanevbg
Copy link
Author

kanevbg commented Mar 19, 2024

Update: that may be not proper solution. I have found that something else is wrong on 3 more places a couple of days after making that PR and applied some other change, but haven't had time to update the PR and information. Just commenting to let you know. The actual fix may be other.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants