Skip to content

Better handling of quick pick with whitespace#3045

Merged
AndreasArvidsson merged 1 commit intomainfrom
quickcleanup
Jul 14, 2025
Merged

Better handling of quick pick with whitespace#3045
AndreasArvidsson merged 1 commit intomainfrom
quickcleanup

Conversation

@AndreasArvidsson
Copy link
Member

No description provided.

@AndreasArvidsson AndreasArvidsson requested a review from a team as a code owner July 14, 2025 06:35
@AndreasArvidsson AndreasArvidsson merged commit 33108a3 into main Jul 14, 2025
14 of 15 checks passed
@AndreasArvidsson AndreasArvidsson deleted the quickcleanup branch July 14, 2025 07:09
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.

1 participant