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

[nickm at torproject.org]

commit 56f01e58b43176b439ade122aa38adcee73d24d5
Merge: ef2925e74 d4b7975ce
Author: Nick Mathewson <nickm at torproject.org>
Date:   Wed Feb 27 09:59:33 2019 -0500

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

 changes/bug29599              | 3 +++
 src/test/test_shared_random.c | 5 +++--
 2 files changed, 6 insertions(+), 2 deletions(-)