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

[nickm at torproject.org]

commit 6927e9a60ca12fa67d6a33044c2903ce95ca1605
Merge: 0fc5fdc43 00fff96e4
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Feb 19 11:56:48 2019 -0500

    Merge remote-tracking branch 'tor-github/pr/665'

 changes/bug29063        | 2 ++
 src/test/test_rebind.sh | 9 +++++++--
 2 files changed, 9 insertions(+), 2 deletions(-)