Skip to content

respect setting for useWslProfiles#186944

Merged
meganrogge merged 1 commit intomainfrom
merogge/wsl-profs
Jul 3, 2023
Merged

respect setting for useWslProfiles#186944
meganrogge merged 1 commit intomainfrom
merogge/wsl-profs

Conversation

@meganrogge
Copy link
Copy Markdown
Collaborator

fix #186940

@meganrogge meganrogge requested a review from Tyriar July 3, 2023 20:34
@meganrogge meganrogge self-assigned this Jul 3, 2023
@meganrogge meganrogge added this to the July 2023 milestone Jul 3, 2023
@meganrogge meganrogge enabled auto-merge July 3, 2023 20:35
@meganrogge meganrogge merged commit 27545dd into main Jul 3, 2023
@meganrogge meganrogge deleted the merogge/wsl-profs branch July 3, 2023 21:22
@github-actions github-actions bot locked and limited conversation to collaborators Aug 17, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

terminal.integrated.useWslProfiles not working as expected

2 participants