summaryrefslogtreecommitdiff
path: root/NOTES
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 17:04:44 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-05-31 17:04:44 +0100
commit013cc5ea30f13c2ea3be8851a34efe7fd6af2eae (patch)
tree19418a4b57e5c39efb717bf83c94593cde71fb8c /NOTES
parentc1e9b51c128cde4b5359618c28405981d690127e (diff)
Push replay prevention protocol: Rename "supersedes" to "previously", as not necessarily actually superseded
Diffstat (limited to 'NOTES')
0 files changed, 0 insertions, 0 deletions