[tor-commits] [tor/master] Merge branch 'bug31343_31374_040' into bug31343_31374_041

9 Aug 2019


      commit fb19d13f24306166c1dc078caeea2a5155638ac0
Merge: 53d5b67f0 7502881de
Author: teor <teor@torproject.org>
Date:   Fri Aug 9 09:51:44 2019 +1000

    Merge branch 'bug31343_31374_040' into bug31343_31374_041

[tor-commits] [tor/master] Merge branch 'bug31343_31374_040' into bug31343_31374_041

teor＠torproject.org