Skip to content

Conversation

goncalovf
Copy link

None of these changes affect functionality. They are just small corrections that I came across while exploring the code.

@goncalovf
Copy link
Author

goncalovf commented Sep 19, 2025

Force-pushed after rebasing this branch on main.

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