Skip to content

Move some code in shell.js to allow abort() to be called early on. NFC#18846

Closed
sbc100 wants to merge 1 commit into
mainfrom
early_abort
Closed

Move some code in shell.js to allow abort() to be called early on. NFC#18846
sbc100 wants to merge 1 commit into
mainfrom
early_abort

Conversation

@sbc100
Copy link
Copy Markdown
Collaborator

@sbc100 sbc100 commented Feb 24, 2023

Split out from #18845

@sbc100 sbc100 requested a review from kripken February 24, 2023 21:03
@sbc100 sbc100 enabled auto-merge (squash) February 25, 2023 02:44
@sbc100 sbc100 closed this Aug 6, 2025
auto-merge was automatically disabled August 6, 2025 19:02

Pull request was closed

@sbc100 sbc100 deleted the early_abort branch August 6, 2025 19:02
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.

2 participants