std: Child::kill() returns error if process has already exited#49461
Merged
bors merged 5 commits intorust-lang:masterfrom Apr 24, 2018
andreastt:child-kill-exited
Merged
std: Child::kill() returns error if process has already exited#49461bors merged 5 commits intorust-lang:masterfrom andreastt:child-kill-exited
bors merged 5 commits intorust-lang:masterfrom
andreastt:child-kill-exited