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

22 Oct 2019


      commit 796f1d8b751ad0c05b3d763f9d8cef43cd39cac2
Merge: 24d8b931d 730f0e3da
Author: Nick Mathewson <nickm@torproject.org>
Date:   Tue Oct 22 12:51:33 2019 -0400

    Merge branch 'maint-0.4.2' into release-0.4.2

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

nickm＠torproject.org