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

[teor at torproject.org]

commit db2ac3b9fe7768e99e1a5d16d1bb4e76776ae72a
Merge: 8bd9b2a6a c44ad396f
Author: teor <teor at 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(-)