Skip to content

Conversation

@guillaume-gricourt
Copy link
Member

@guillaume-gricourt guillaume-gricourt commented Oct 16, 2025

Related to #24

@tduigou
Copy link
Member

tduigou commented Oct 17, 2025

Hi @guillaume-gricourt, thanks for this PR. Is additional changes needed before merge?

@guillaume-gricourt
Copy link
Member Author

This PR has not yet been tested. I will let you know when it's ready.

@tduigou
Copy link
Member

tduigou commented Oct 17, 2025

OK thanks, let me know when / if I can help.

@tduigou tduigou merged commit 5b0943a into master Oct 21, 2025
3 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.

3 participants