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

[nickm@xxxxxxxxxxxxxx]

commit 560ba98dd7e5e4c4a2e3c06ab80e4cf97d8f6f8d
Merge: 94523bffd a9c3101e2
Author: Nick Mathewson <nickm@xxxxxxxxxxxxxx>
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(-)

_______________________________________________
tor-commits mailing list
tor-commits@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-commits