Skip to content

Small api change#291

Merged
jlmucb merged 6 commits intomainfrom
small_api_change
Sep 4, 2025
Merged

Small api change#291
jlmucb merged 6 commits intomainfrom
small_api_change

Conversation

@jlmucb
Copy link
Collaborator

@jlmucb jlmucb commented Sep 4, 2025

Small API change, better shell scripts

@jlmucb jlmucb merged commit 76c97b6 into main Sep 4, 2025
1 check passed
@jlmucb jlmucb deleted the small_api_change branch September 15, 2025 18:58
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