Skip to content

Batch fixes - #8

Merged
jourdain merged 5 commits into
mainfrom
batch-fixes
Sep 28, 2026
Merged

jourdain merged 5 commits into
mainfrom
batch-fixes

Conversation

@jourdain

Copy link
Copy Markdown
Collaborator

No description provided.

@jourdain

Copy link
Copy Markdown
Collaborator Author

@berkgeveci can you review c4c0797 for addressing #7 (comment)

@jourdain
jourdain merged commit 1624415 into main Sep 28, 2026
1 check passed
@jourdain
jourdain deleted the batch-fixes branch September 28, 2026 23:17
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