[tor-commits] [tor/master] Merge remote-tracking branch 'rl1987/feature19506_3'

[nickm at torproject.org]

commit ff593ae8781941bfe035d43ded5c18eb772ac486
Merge: 13393b2d9 abc0a72fd
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon Jul 30 08:55:57 2018 -0400

    Merge remote-tracking branch 'rl1987/feature19506_3'

 .gitignore                            |  7 ++++
 changes/feature19506                  |  3 ++
 doc/include.am                        |  6 +++-
 doc/tor-print-ed-signing-cert.1.txt   | 32 +++++++++++++++++
 src/tools/Makefile.nmake              |  5 ++-
 src/tools/include.am                  | 11 +++++-
 src/tools/tor-print-ed-signing-cert.c | 65 +++++++++++++++++++++++++++++++++++
 7 files changed, 126 insertions(+), 3 deletions(-)