diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-07-24 22:41:34 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-24 22:41:34 +0000 |
commit | e1351ab48bbf2ea1522388918e97dd2b861dabf7 (patch) | |
tree | bf79cd9652e9de4cf58650b6ae62d2d3f91da387 /test/test_dir.rs | |
parent | e88a6cf2ec0b6bd042641f58618d6e72e2c624c4 (diff) | |
parent | 3d5d369665430d5545dfb583a7cc6d0b81b7e759 (diff) | |
download | nix-e1351ab48bbf2ea1522388918e97dd2b861dabf7.zip |
Merge #1472
1472: Add pthread_kill r=asomers a=mkroening
This adds `pthread_kill`, following the design of `killpg`.
What do you think?
Co-authored-by: Martin Kröning <mkroening@posteo.net>
Diffstat (limited to 'test/test_dir.rs')
0 files changed, 0 insertions, 0 deletions