[tor-commits] [tor/master] Merge branch 'tor-github/pr/1172'

[dgoulet at torproject.org]

commit 0312da75a33c6f545f32ca682afa0dfaf9e31598
Merge: a8f936c81 ffce19a9e
Author: David Goulet <dgoulet at torproject.org>
Date:   Thu Aug 8 12:26:59 2019 -0400

    Merge branch 'tor-github/pr/1172'

 changes/ticket31012                   | 4 ++++
 doc/tor-print-ed-signing-cert.1.txt   | 6 ++++++
 src/tools/tor-print-ed-signing-cert.c | 7 +++++++
 3 files changed, 17 insertions(+)