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

[teor at torproject.org]

commit 3e62a6b6e05bf95b0488808531a13fd04f35e518
Merge: 87d0fe0 f4f92d9
Author: teor <teor at torproject.org>
Date:   Mon Feb 17 10:40:52 2020 +1000

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

 tools/bootstrap-network.sh | 5 ++---
 tools/test-network.sh      | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)