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

[teor at torproject.org]

commit 81265144939d2f620d36827970e96115d725dd04
Merge: cdd4389 86fb60a
Author: teor <teor at torproject.org>
Date:   Fri Apr 12 12:39:35 2019 +1000

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

 tools/test-network-impl.sh | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)