diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-09 19:57:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-09 19:57:47 +0100 |
| commit | 523913d091a0c090edb81d68240695b8f50f5b98 (patch) | |
| tree | 684d896b5d7aa15d376d8a867b57cbf98e9fce82 /doc/manual | |
| parent | c44750982d7a271c8444819377ab972af8946e5d (diff) | |
| parent | 4f3a4b732cdc8a0179b0da9cccafef0b215a4e86 (diff) | |
Merge pull request #8020 from edolstra/no-such-process
Make findRuntimeRoots() more resilient to disappearing processes
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions