[tor-commits] [tor/master] Merge branch 'tor-github/pr/1913'

[dgoulet at torproject.org]

commit 53faca10ad122b71a1b37819726fb60ae3cfb6d6
Merge: 3cb77a9cc c3f589c4d
Author: David Goulet <dgoulet at torproject.org>
Date:   Fri Jun 12 12:55:34 2020 -0400

    Merge branch 'tor-github/pr/1913'

 .travis.yml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)