chiark / gitweb /
~ian / secnet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65a4e89) | 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>
Sat, 7 Dec 2019 18:22:31 +0000 (18:22 +0000)
commitee59706bb0c99166dedec88ab9cf9ef44333f341
treeef32e259369f9b3323517face5475df9aea7a375tree | snapshot
parent65a4e8935bf3c03d7ac2eec71c949b1cfe4265a4commit | 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.