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

[nickm@xxxxxxxxxxxxxx]

commit 167dd097e04936ea11d319723a2989d293b009b1
Merge: 72ef4f43d 84f0f1506
Author: Nick Mathewson <nickm@xxxxxxxxxxxxxx>
Date:   Wed Jun 26 09:40:01 2019 -0400

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

 .travis.yml         | 4 ++++
 changes/ticket30102 | 4 ++++
 2 files changed, 8 insertions(+)

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