Skip to content

Conversation

@josebraga
Copy link
Member

No description provided.

@Bernardo-Gabriel
Copy link
Collaborator

Bernardo-Gabriel commented Jul 15, 2025

Hi @josebraga, thanks for your contribution!

This issue has already been addressed on the system/caravel branch (commit b5ec230). Since the fix is already covered, we won't be merging this PR, but we really appreciate you taking the time to submit it!

Thanks again!

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.

2 participants