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

[nickm at torproject.org]

commit 626eb025b6d1c348fdb4b9979c371413a2e14f02
Merge: 09fb7987c d71090f8e
Author: Nick Mathewson <nickm at torproject.org>
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(-)