[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/958' into maint-0.3.5

9 Aug 2019


      commit 6205810f8ed93c15f3f7be7fbb98d1cad15ae29c
Merge: d4184fca3 dfdd87764
Author: teor <teor@torproject.org>
Date:   Fri Aug 9 13:50:59 2019 +1000

    Merge remote-tracking branch 'tor-github/pr/958' into maint-0.3.5

[tor-commits] [tor/master] Merge remote-tracking branch 'tor-github/pr/958' into maint-0.3.5

teor＠torproject.org