Skip to content

fix#783

Merged
jekuer merged 1 commit intomainfrom
dev
Feb 21, 2026
Merged

fix#783
jekuer merged 1 commit intomainfrom
dev

Conversation

@jekuer
Copy link
Collaborator

@jekuer jekuer commented Feb 21, 2026

Fixing export

@jekuer jekuer merged commit b98298d into main Feb 21, 2026
5 checks passed
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.

1 participant