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

22 Oct 2019


      commit 6f3ee65f5340b47ebb6e215e5cc1dbd6e013778b
Merge: 11b1e1715 34f3d8d40
Author: Nick Mathewson <nickm@torproject.org>
Date:   Tue Oct 22 12:11:59 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