chiark / gitweb /
Push replay prevention protocol: Rename "supersedes" to "previously", as not necessar...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 16:04:44 +0000 (17:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 16:04:44 +0000 (17:04 +0100)

No differences found