Skip to content

Revert "Fixes #152785"#153552

Merged
Tyriar merged 1 commit into
mainfrom
tyriar/153486
Jun 28, 2022
Merged

Revert "Fixes #152785"#153552
Tyriar merged 1 commit into
mainfrom
tyriar/153486

Conversation

@Tyriar

@Tyriar Tyriar commented Jun 28, 2022

Copy link
Copy Markdown
Contributor

This ended up causing an issue where terminals could not be destroyed.

This reverts commit 8beecf1.

Fixes #153486

This ended up causing an issue where terminals could not be destroyed.

This reverts commit 8beecf1.
@Tyriar
Tyriar enabled auto-merge June 28, 2022 17:20
@Tyriar
Tyriar merged commit 1064a3f into main Jun 28, 2022
@Tyriar
Tyriar deleted the tyriar/153486 branch June 28, 2022 17:28
Yoyokrazy pushed a commit to Yoyokrazy/vscode that referenced this pull request Jun 28, 2022
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 12, 2022
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.

"Kill" button does nothing on one task terminal

2 participants