Skip to content

Improper @mentions in comments#4820

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue4810
May 12, 2023
Merged

Improper @mentions in comments#4820
alexr00 merged 1 commit intomainfrom
alexr00/issue4810

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented May 12, 2023

Fixes #4810

@alexr00 alexr00 enabled auto-merge (squash) May 12, 2023 15:23
@alexr00 alexr00 self-assigned this May 12, 2023
@alexr00 alexr00 merged commit fe8a332 into main May 12, 2023
@alexr00 alexr00 deleted the alexr00/issue4810 branch May 12, 2023 17:37
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.

Improper @mentions in comments

2 participants