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

20 Dec 2019


      commit da1f76f1261a4238269ca93f5d338ac402c11e14
Merge: 7e17c2438 5dbb607e9
Author: teor <teor@torproject.org>
Date:   Fri Dec 20 10:12:59 2019 +1000

    Merge branch 'maint-0.4.2'

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

teor＠torproject.org