[tor-commits] [tor/release-0.4.3] Merge branch 'maint-0.4.3' into release-0.4.3

[nickm at torproject.org]

commit e0caad5d4fb19d0770c0492c924193005b21e42e
Merge: ffe240951e 262ddfee7a
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Aug 11 10:44:40 2020 -0400

    Merge branch 'maint-0.4.3' into release-0.4.3

 .gitlab-ci.yml          | 5 +++++
 scripts/ci/ci-driver.sh | 5 +++++
 2 files changed, 10 insertions(+)