[tor-commits] [tor/maint-0.3.5] Merge branch 'tor-github/pr/1912' into maint-0.3.5

[dgoulet@xxxxxxxxxxxxxx]

commit 6a43aadecc5ab8564e71da2f00483eb63df13ae0
Merge: c1add51bc f49f1d6fb
Author: David Goulet <dgoulet@xxxxxxxxxxxxxx>
Date:   Fri Jun 12 12:55:17 2020 -0400

    Merge branch 'tor-github/pr/1912' into maint-0.3.5

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

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