Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Forcefully kill extension host processes if they still exist #196811

Merged
merged 1 commit into from
Oct 27, 2023
Merged

Forcefully kill extension host processes if they still exist #196811

merged 1 commit into from
Oct 27, 2023

Conversation

alexdima
Copy link
Member

Fixes #194477

@alexdima alexdima self-assigned this Oct 27, 2023
@alexdima alexdima enabled auto-merge (squash) October 27, 2023 09:45
@alexdima alexdima added the candidate Issue identified as probable candidate for fixing in the next release label Oct 27, 2023
@alexdima alexdima added this to the October 2023 milestone Oct 27, 2023
@alexdima alexdima requested a review from bpasero October 27, 2023 09:46
@jrieken jrieken self-requested a review October 27, 2023 09:48
@alexdima alexdima merged commit 35419fc into release/1.84 Oct 27, 2023
7 checks passed
@alexdima alexdima deleted the alexd/lucky-minnow branch October 27, 2023 10:02
@github-actions github-actions bot locked and limited conversation to collaborators Dec 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@jrieken jrieken jrieken approved these changes

@bpasero bpasero bpasero approved these changes

Assignees

@alexdima alexdima

Labels
candidate Issue identified as probable candidate for fixing in the next release
Projects
None yet
Milestone
October 2023
Development

Successfully merging this pull request may close these issues.
3 participants
@alexdima @bpasero @jrieken