diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2023-10-25 17:38:28 +0200 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2023-10-25 17:50:59 +0200 |
| commit | bec4dbd9bd995f73eab1ff803e7895187068ddb0 (patch) | |
| tree | b4de65623825eaadf0e4a040263a0289e30c7a64 /doc/future-designs | |
| parent | ce1762fbe7734771e4e8985580a65c42ecdfe406 (diff) | |
| download | justbuild-bec4dbd9bd995f73eab1ff803e7895187068ddb0.tar.gz | |
just execute: fix race condition during garbage collection...
...of the internal cache used for keeping track of running operations.
Diffstat (limited to 'doc/future-designs')
0 files changed, 0 insertions, 0 deletions