aboutsummaryrefslogtreecommitdiff
path: root/doc/manual
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/src/architecture/store/store.md2
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 -->