diff options
author | Rasmus Dahlberg <rasmus@mullvad.net> | 2021-12-05 16:55:55 +0100 |
---|---|---|
committer | Rasmus Dahlberg <rasmus@mullvad.net> | 2021-12-05 16:55:55 +0100 |
commit | 6dc180f11fe0db8c2fd3222b144d75ceb3978478 (patch) | |
tree | b309f0532891cd6e5e6af85cf516faf90de53fb1 /doc | |
parent | 4ea13eb1ceee1610d9044965c1a90b6d5443518b (diff) |
fixed typo
Diffstat (limited to 'doc')
-rw-r--r-- | doc/design.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/design.md b/doc/design.md index 3a1fbd5..c046888 100644 --- a/doc/design.md +++ b/doc/design.md @@ -356,9 +356,9 @@ shard hint. The selected shard hint must be within a log's shard interval. That shard interval is open-ended, meaning there is a fixed start time and a _policy-defined_ end time that the operator may increase but not decrease [\[OESI\]](https://git.sigsum.org/sigsum/tree/doc/proposals/2021-11-open-ended-shard-interval.md). -A log's shard start is inclusive and expressed expressed as the number of -seconds since the UNIX epoch (January 1, 1970 00:00 UTC). A log that is still -active should use the number of seconds since the UNIX epoch as its shard end. +A log's shard start is inclusive and expressed as the number of seconds since +the UNIX epoch (January 1, 1970 00:00 UTC). A log that is still active should +use the number of seconds since the UNIX epoch as its shard end. Without sharding, a good Samaritan can add all leaves from an old log into a newer one that just started its operations. This makes log operations |