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

[asn at torproject.org]

commit 78223ab0fc279abe0c575f191f5d0f42ef1bda59
Merge: 2db9bb02c 733234600
Author: George Kadianakis <desnacked at 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(-)