Skip to content

Fix terminal rename#68489

Merged
Tyriar merged 5 commits intomicrosoft:masterfrom
jeanp413:fix/terminal-rename
Mar 4, 2019
Merged

Fix terminal rename#68489
Tyriar merged 5 commits intomicrosoft:masterfrom
jeanp413:fix/terminal-rename

Conversation

@jeanp413
Copy link
Contributor

Fixes #68287

@Tyriar Tyriar added this to the March 2019 milestone Mar 4, 2019
Copy link
Member

@Tyriar Tyriar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @jeanp413 for fixing this, I also did something similar with WindowsShellHelper as that would be doing a bunch of redundant work.

@Tyriar Tyriar merged commit 47977b9 into microsoft:master Mar 4, 2019
@jeanp413 jeanp413 deleted the fix/terminal-rename branch July 5, 2019 03:02
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
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 rename doesn't work

2 participants