[tor-commits] [tor/release-0.3.5] Merge remote-tracking branch 'tor-github/pr/1091' into maint-0.3.5

[teor at torproject.org]

commit a742a80eeaf12e238c5b2e9eb06d8edbc8797c2b
Merge: 202ccc393 be0a4be27
Author: teor <teor at torproject.org>
Date:   Tue Jun 11 14:51:37 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/1091' into maint-0.3.5

 .travis.yml             | 2 ++
 changes/bug30713        | 5 +++++
 src/test/test_rebind.py | 7 +++++++
 src/test/test_rebind.sh | 4 ++--
 4 files changed, 16 insertions(+), 2 deletions(-)