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

[nickm at torproject.org]

commit d5257ad06948992f2d6e4c8b1ae16eb0abede0b6
Merge: d3983d3cd 9e85515f8
Author: Nick Mathewson <nickm at torproject.org>
Date:   Mon Jun 29 13:48:32 2020 -0400

    Merge branch 'maint-0.4.4' into release-0.4.4