Return Ok
on kill if process has already exited#112594
Merged
bors merged 3 commits intorust-lang:masterfrom Jul 5, 2023
Merged
Return `Ok` on kill if process has already exited#112594bors merged 3 commits intorust-lang:masterfrom
bors merged 3 commits intorust-lang:masterfrom