Skip to content

no PR in user facing string#7718

Merged
rebornix merged 1 commit intomainfrom
rebornix/satisfied-cicada
Aug 29, 2025
Merged

no PR in user facing string#7718
rebornix merged 1 commit intomainfrom
rebornix/satisfied-cicada

Conversation

@rebornix
Copy link
Copy Markdown
Member

No description provided.

@rebornix rebornix enabled auto-merge (squash) August 29, 2025 18:17
@vs-code-engineering vs-code-engineering Bot added this to the August 2025 milestone Aug 29, 2025
@rebornix rebornix merged commit 93489a1 into main Aug 29, 2025
3 checks passed
@rebornix rebornix deleted the rebornix/satisfied-cicada branch August 29, 2025 18:48
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