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

[nickm@xxxxxxxxxxxxxx]

commit 626eb025b6d1c348fdb4b9979c371413a2e14f02
Merge: 09fb7987c d71090f8e
Author: Nick Mathewson <nickm@xxxxxxxxxxxxxx>
Date:   Thu Feb 20 09:14:40 2020 -0500

    Merge remote-tracking branch 'tor-github/pr/1745/head'

 .travis.yml         | 2 +-
 changes/ticket32792 | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

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