commit b643ced0224268dfe3d9c3617b3a77f8aec6205e Merge: 2ddbfc64af 0b77c706a1 Author: Nick Mathewson nickm@torproject.org Date: Fri Sep 18 19:06:16 2020 -0400

Merge branch 'maint-0.3.5' into maint-0.4.3

.gitlab-ci.yml | 27 ++++++++++++++++++++++++++- scripts/ci/ci-driver.sh | 5 +++++ 2 files changed, 31 insertions(+), 1 deletion(-)