Skip to content

Conversation

@mishig25
Copy link
Collaborator

@mishig25 mishig25 commented Oct 24, 2024

Follow up to #976

@mishig25 mishig25 marked this pull request as ready for review October 24, 2024 14:35
@mishig25 mishig25 merged commit da9397a into main Oct 24, 2024
2 of 5 checks passed
@mishig25 mishig25 deleted the remove_whitespace_diff branch October 24, 2024 14:35
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