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 /src/sys/mod.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 'src/sys/mod.rs')
0 files changed, 0 insertions, 0 deletions