[tor-commits] [tor/master] Merge remote-tracking branch 'hello71/bug23883'

[nickm at torproject.org]

commit 26990f3adc06d6907029d4580abdf3488153737e
Merge: 6bfa87d3a 2a3998a2e
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue May 8 20:05:35 2018 -0400

    Merge remote-tracking branch 'hello71/bug23883'

 doc/HACKING/HelpfulTools.md | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)