chiark / gitweb /
~ian / secnet.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 10a7b50 0428556)
Merge commit '0428556765a15326025e9fe4809936c6cafd3c85'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Nov 2019 13:35:00 +0000 (13:35 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Nov 2019 13:35:00 +0000 (13:35 +0000)

Trivial merge
Ian's personal secnet repo on chiark, for work-in-progress stuff etc.