[tor-commits] [tor/master] Merge branch 'maint-0.4.4'

[nickm at torproject.org]

commit e4ef3c61f7fd718da94deace0b67950c6f788859
Merge: 0ee3b83a0b 673d02bdb0
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue Aug 11 11:03:25 2020 -0400

    Merge branch 'maint-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(-)