Skip to content

Trim leading whitespace in PR description#5781

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue5780
Mar 4, 2024
Merged

Trim leading whitespace in PR description#5781
alexr00 merged 1 commit intomainfrom
alexr00/issue5780

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Feb 26, 2024

Fixes #5780

@alexr00 alexr00 self-assigned this Feb 26, 2024
@alexr00 alexr00 marked this pull request as ready for review February 28, 2024 16:33
@vscodenpa vscodenpa added this to the March 2024 milestone Feb 28, 2024
@alexr00 alexr00 merged commit ce447c3 into main Mar 4, 2024
@alexr00 alexr00 deleted the alexr00/issue5780 branch March 4, 2024 11:56
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.

Trim leading whitespace in PR description

3 participants