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

[teor@xxxxxxxxxxxxxx]

commit a742a80eeaf12e238c5b2e9eb06d8edbc8797c2b
Merge: 202ccc393 be0a4be27
Author: teor <teor@xxxxxxxxxxxxxx>
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(-)




_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits