Skip to content

Conversation

@carlos-adir
Copy link
Contributor

@carlos-adir carlos-adir commented Jul 10, 2025

Solves #22

@carlos-adir carlos-adir added the enhancement New feature or request label Jul 10, 2025
@carlos-adir carlos-adir merged commit 7b30fa0 into main Jul 11, 2025
6 checks passed
@carlos-adir carlos-adir deleted the dev/reals branch July 11, 2025 21:49
@carlos-adir carlos-adir self-assigned this Jul 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants