commit 5a509fbdf32c31e0e824b63b9f97c4bf48a5124d Merge: e748c1d1e7 8a0f530adf Author: Nick Mathewson <nickm@torproject.org> Date: Tue Aug 11 10:44:40 2020 -0400 Merge branch 'maint-0.3.5' into release-0.3.5 .gitlab-ci.yml | 5 +++++ scripts/ci/ci-driver.sh | 5 +++++ 2 files changed, 10 insertions(+)