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(-)