chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19784c5) | patch
report token revelations only if nontrivial
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Nov 2020 23:41:05 +0000 (23:41 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 13 Nov 2020 23:41:05 +0000 (23:41 +0000)
commit7438c5b20078cf5da79c7e4b7ec02d4b249207f6
treed31045281a52894e78a2e04761eb5f8b228101f0tree | snapshot
parent19784c501bf84ec6130ad3f31fabe16c62869a0bcommit | diff
report token revelations only if nontrivial

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/session.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.