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

[teor at torproject.org]

commit be71cce9f851ef7ba3276fcd7f8e5bb7cc2968df
Merge: 3313444ef d4b7975ce
Author: teor <teor at torproject.org>
Date:   Thu Feb 28 10:48:46 2019 +1000

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

 src/test/test_shared_random.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)