[tor-commits] [tor/maint-0.4.2] Merge branch 'maint-0.3.5' into maint-0.4.2

[nickm at torproject.org]

commit 352991c843e2c0404fd44178cbf3df32cc365bc1
Merge: 4e684c8695 bac8967e24
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Aug 6 13:24:11 2020 -0400

    Merge branch 'maint-0.3.5' into maint-0.4.2

 .gitlab-ci.yml | 32 ++------------------------------
 1 file changed, 2 insertions(+), 30 deletions(-)