Skip to content

Code suggestions in PRs are hard to differentiate#5146

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue5141
Aug 2, 2023
Merged

Code suggestions in PRs are hard to differentiate#5146
alexr00 merged 1 commit intomainfrom
alexr00/issue5141

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Aug 2, 2023

Fixes #5141

@alexr00 alexr00 self-assigned this Aug 2, 2023
@alexr00 alexr00 enabled auto-merge (squash) August 2, 2023 21:07
@alexr00 alexr00 merged commit 47266a5 into main Aug 2, 2023
@alexr00 alexr00 deleted the alexr00/issue5141 branch August 2, 2023 21:12
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.

Code suggestions in PRs are hard to differentiate

2 participants