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

nickm at torproject.org nickm at torproject.org
Wed Jun 26 13:40:08 UTC 2019


commit 167dd097e04936ea11d319723a2989d293b009b1
Merge: 72ef4f43d 84f0f1506
Author: Nick Mathewson <nickm at torproject.org>
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(+)



More information about the tor-commits mailing list