[tor-commits] [tor/master] Merge branch 'tor-github/pr/938'

commit 78223ab0fc279abe0c575f191f5d0f42ef1bda59 Merge: 2db9bb02c 733234600 Author: George Kadianakis desnacked@riseup.net Date: Thu Apr 18 13:23:32 2019 +0300

Merge branch 'tor-github/pr/938'

changes/ticket30149 | 3 +++ scripts/maint/practracker/exceptions.txt | 2 +- src/feature/client/circpathbias.c | 4 +++- src/feature/nodelist/node_select.c | 1 + src/feature/relay/onion_queue.c | 10 ++++++---- src/lib/math/prob_distr.h | 2 +- 6 files changed, 15 insertions(+), 7 deletions(-)