[tor-commits] [tor/master] Merge remote-tracking branch 'teor/ticket26852'

[nickm at torproject.org]

commit 88bb80d5fc83e97cb099cb4887d83a2400fd9830
Merge: ef5c3c821 62ecb5e88
Author: Nick Mathewson <nickm at torproject.org>
Date:   Wed Jul 18 13:20:23 2018 -0400

    Merge remote-tracking branch 'teor/ticket26852'

 doc/HACKING/HelpfulTools.md | 26 ++++++++++++++++++++++----
 1 file changed, 22 insertions(+), 4 deletions(-)