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

[nickm at torproject.org]

commit 912c8e6a8cb05c2a2482a73b9bd2b1804d5a56df
Merge: 3854123b0b 673d02bdb0
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Aug 11 11:03:24 2020 -0400

    Merge branch 'maint-0.4.4' into release-0.4.4

 changes/bug40095                           | 4 ++++
 scripts/ci/ci-driver.sh                    | 4 ++--
 scripts/maint/run_check_subsystem_order.sh | 1 +
 3 files changed, 7 insertions(+), 2 deletions(-)