Skip to content

Conversation

Guiorgy
Copy link

@Guiorgy Guiorgy commented Aug 23, 2024

Some parts used tabs, some 2 spaces, some 3 spaces and some 4 spaces.

Replaced all indentations with a single tab character.

@rlaager
Copy link

rlaager commented Aug 23, 2024

I don't have permissions to merge on this product, but this looks good to me. I verified that the only changes are whitespace, using both git diff -w and visual inspection in the GitHub web interface.

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