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

22 Oct 2019


      commit fb610c9a23b37428c6211965f600a893b02cc395
Merge: 796f1d8b7 5ddc04f49
Author: Nick Mathewson <nickm@torproject.org>
Date:   Tue Oct 22 12:53:12 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