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

[dgoulet at torproject.org]

commit 5117492620609fd3ea940b1d5851670ba61e9320
Merge: 73f78a4888 1902edaf52
Author: David Goulet <dgoulet at torproject.org>
Date:   Wed Nov 3 09:47:43 2021 -0400

    Merge branch 'maint-0.3.5' into release-0.3.5

 doc/asciidoc-helper.sh  | 9 +++++----
 scripts/ci/ci-driver.sh | 2 +-
 2 files changed, 6 insertions(+), 5 deletions(-)