Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #112594 - ChrisDenton:process=-kill, r=Amanieu
Return `Ok` on kill if process has already exited This will require an FCP from `@rust-lang/libs-api.` Fixes #112423. See that issue for more details.
bors 2023-07-05
parent 8151203 · parent fd5cb8a · commit 1e545b8
0 files changed, 0 insertions, 0 deletions