Skip to content

Conversation

jlapeyre
Copy link
Collaborator

Cleanup for previous commit.

@jlapeyre jlapeyre merged commit af5c9b9 into master Sep 29, 2025
15 checks passed
@jlapeyre jlapeyre deleted the fix-whitespace branch September 29, 2025 18:19
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