Skip to content

Conversation

andr81
Copy link

@andr81 andr81 commented Nov 21, 2024

No description provided.

@anfanik
Copy link
Collaborator

anfanik commented Dec 8, 2024

Implemented in #408

@anfanik
Copy link
Collaborator

anfanik commented Jan 26, 2025

#408 is merged

@anfanik anfanik closed this Jan 26, 2025
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