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

22 Oct 2019


      commit 11b1e1715e3af3c39a4e32e3256acf137638849a
Merge: 25a9eab04 e5b9eefb0
Author: Nick Mathewson <nickm@torproject.org>
Date:   Tue Oct 22 12:10:30 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