diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-11-27 13:30:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-27 13:30:26 +0100 |
| commit | cc308ee93d5b2027e1270295daa860fd73b71917 (patch) | |
| tree | 836df800b9abeb9e6e1d7d659bab1d902767805d /src/nix/prefetch.cc | |
| parent | 534332c8a03b64161ec795d1deb2ba3d48f27be1 (diff) | |
| parent | 5b798f6caeab64854394e1250e30aab91241cf26 (diff) | |
Merge pull request #7353 from edolstra/gc-shutdown
Fix random client failures during GC server shutdown
Diffstat (limited to 'src/nix/prefetch.cc')
0 files changed, 0 insertions, 0 deletions