diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/src/architecture/store/store.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/architecture/store/store.md b/doc/manual/src/architecture/store/store.md index aff41d511..5b4c3072d 100644 --- a/doc/manual/src/architecture/store/store.md +++ b/doc/manual/src/architecture/store/store.md @@ -88,7 +88,7 @@ Adding, building, copying and deleting store objects must be done in a way that - We can only safely delete store objects which are not reachable from any reference still in use. - Garbage collection will delete all store objects that cannot be reached from any reference in use. + Garbage collection will delete those store objects that cannot be reached from any reference in use. <!-- more details in section on garbage collection, link to it once it exists --> |