[tor-commits] [tor/master] Merge branch 'maint-0.4.2'

23 Oct 2019


      commit 8a56819d2375337027f11073947090224f15993b
Merge: 9db1602ec 65545e134
Author: teor <teor@torproject.org>
Date:   Wed Oct 23 10:00:49 2019 +1000

    Merge branch 'maint-0.4.2'

[tor-commits] [tor/master] Merge branch 'maint-0.4.2'

teor＠torproject.org