commit db76015f6f05dd48d3660bd86e4777c1feacf152 Merge: 28bbd16daf 8458c8211e Author: Nick Mathewson nickm@torproject.org Date: Mon Sep 21 12:59:03 2020 -0400

Merge branch 'maint-0.3.5' into release-0.3.5

.gitlab-ci.yml | 46 ++++++++++++++++++++++++++++++++++++++++++++++ scripts/ci/ci-driver.sh | 20 ++++++++++++++++++++ 2 files changed, 66 insertions(+)