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

18 Oct 2019


      commit 780fbbdf6d46d974e658509088ff98c7fdd16d4e
Merge: a5c9cc4b2 fbd2fef22
Author: Nick Mathewson <nickm@torproject.org>
Date:   Fri Oct 18 12:27: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