Skip to content

Conversation

@mspirkov
Copy link

It seems that a mistake was made here: 75c5fdf

@antonkomarev
Copy link
Contributor

antonkomarev commented Oct 14, 2025

@mspirkov you are right, thanks!

@lesstif this should be merged

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