commit 113f415e3bd5bbc2bb3788555fe2566ba723b91c Merge: 1941747 f6d4095 Author: teor teor@torproject.org Date: Fri Apr 12 12:50:58 2019 +1000

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

tools/bootstrap-network.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-)