[tor-commits] [tor/release-0.2.9] Merge remote-tracking branch 'tor-github/pr/774' into maint-0.2.9

commit db2ac3b9fe7768e99e1a5d16d1bb4e76776ae72a Merge: 8bd9b2a6a c44ad396f Author: teor teor@torproject.org Date: Wed Mar 20 09:46:10 2019 +1000

Merge remote-tracking branch 'tor-github/pr/774' into maint-0.2.9

changes/bug29706_minimal | 4 ++++ src/or/shared_random_state.c | 4 ++-- src/or/shared_random_state.h | 2 ++ src/test/test_shared_random.c | 17 ++++++++++++++--- 4 files changed, 22 insertions(+), 5 deletions(-)