commit 6a43aadecc5ab8564e71da2f00483eb63df13ae0 Merge: c1add51bc f49f1d6fb Author: David Goulet <dgoulet@torproject.org> 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(-)