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

[nickm at torproject.org]

commit 560ba98dd7e5e4c4a2e3c06ab80e4cf97d8f6f8d
Merge: 94523bffd a9c3101e2
Author: Nick Mathewson <nickm at torproject.org>
Date:   Fri Mar 15 08:54:30 2019 -0400

    Merge remote-tracking branch 'tor-github/pr/776' into maint-0.4.0

 src/test/test_shared_random.c | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)