Skip to content

Conversation

@andreubotella
Copy link
Member

@frivoal
Copy link
Collaborator

frivoal commented Sep 12, 2025

@andreubotella Oops. I am sorry, I hadn't seen you had made this pull request, and I just made similar fix. eda34fd Are you ok with that version, or do you think yours is preferable?

@andreubotella
Copy link
Member Author

Closing as a duplicate of that commit.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants