chiark / gitweb /
~ian / secnet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4348d8) | patch
site: key update soundness argument: deal with concurrency
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Oct 2019 00:33:44 +0000 (00:33 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Dec 2019 13:15:50 +0000 (13:15 +0000)
commit218c036d6d2095a95a2acab43bf58bad77cffbe2
tree38cad65d2b1f8b89df417732d1cc071e979ee70atree | snapshot
parenta4348d84292d6bb98bbf9b9842f75cdea6bc2d1bcommit | diff
site: key update soundness argument: deal with concurrency

This completes this argument.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
site.c diff | blob | history
Ian's personal secnet repo on chiark, for work-in-progress stuff etc.