[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/449'

commit f27279f85766b71e106bc2d9c0624a7f95d7829a Merge: d671e3f51 5a3cb495c Author: Nick Mathewson <nickm@torproject.org> Date: Fri Nov 2 13:11:26 2018 -0400 Merge remote-tracking branch 'tor-github/pr/449' changes/ticket28011 | 3 +++ scripts/maint/run_calltool.sh | 4 ++-- 2 files changed, 5 insertions(+), 2 deletions(-)