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

commit be71cce9f851ef7ba3276fcd7f8e5bb7cc2968df Merge: 3313444ef d4b7975ce Author: teor <teor@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(-)